# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1589905998 -7200
# Node ID b0b9218c598210d4e191b68e4fd31c5604c2b508
# Parent  6dfcdbeb0d33702a919877f2803e3ad60aca45a1
pages: fixed `dir_path` checking in `onFileChange`

diff -r 6dfcdbeb0d33 -r b0b9218c5982 libervia/server/pages.py
--- 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]