changeset 1271:b0b9218c5982

pages: fixed `dir_path` checking in `onFileChange`
author Goffi <goffi@goffi.org>
date Tue, 19 May 2020 18:33:18 +0200
parents 6dfcdbeb0d33
children 3a3f3bccd65b
files libervia/server/pages.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libervia/server/pages.py	Tue May 19 11:05:50 2020 +0200
+++ b/libervia/server/pages.py	Tue May 19 18:33:18 2020 +0200
@@ -450,7 +450,7 @@
             flags=", ".join(flags), file_path=file_path))
 
         dir_path = os.path.dirname(path)
-        if not dir_path.startswith(site_path):
+        if not dir_path.startswith(str(site_path)):
             raise exceptions.InternalError("watched file should start with site path")
 
         path_elts = [p for p in dir_path[len(site_path):].split('/') if p]