# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1613825471 -3600
# Node ID df79874947d7495bc84c703056699fe755eeb4ae
# Parent  4c51f22a813a92317207342e6327acd7143a4701
pages: fix browser data re-creation on dev mode reload

diff -r 4c51f22a813a -r df79874947d7 libervia/server/pages.py
--- a/libervia/server/pages.py	Sat Feb 20 13:49:08 2021 +0100
+++ b/libervia/server/pages.py	Sat Feb 20 13:51:11 2021 +0100
@@ -520,6 +520,17 @@
                     del parent.children[url_elt]
                 # we can now add the new page
                 parent.putChild(url_elt, resource)
+
+                # is there any browser data to create?
+                browser_path = resource.root_dir / C.PAGES_BROWSER_DIR
+                if browser_path.is_dir():
+                    cls.createBrowserData(
+                        resource.vhost_root,
+                        resource,
+                        browser_path,
+                        resource.url.split('/')
+                    )
+
                 if new_page:
                     log.info(_("{page} created").format(page=resource))
                 else: