comparison libervia/server/pages.py @ 1380:df79874947d7

pages: fix browser data re-creation on dev mode reload
author Goffi <goffi@goffi.org>
date Sat, 20 Feb 2021 13:51:11 +0100
parents e3e303a30a74
children a53e22400dad
comparison
equal deleted inserted replaced
1379:4c51f22a813a 1380:df79874947d7
518 if not new_page: 518 if not new_page:
519 # the page was already existing, we remove it 519 # the page was already existing, we remove it
520 del parent.children[url_elt] 520 del parent.children[url_elt]
521 # we can now add the new page 521 # we can now add the new page
522 parent.putChild(url_elt, resource) 522 parent.putChild(url_elt, resource)
523
524 # is there any browser data to create?
525 browser_path = resource.root_dir / C.PAGES_BROWSER_DIR
526 if browser_path.is_dir():
527 cls.createBrowserData(
528 resource.vhost_root,
529 resource,
530 browser_path,
531 resource.url.split('/')
532 )
533
523 if new_page: 534 if new_page:
524 log.info(_("{page} created").format(page=resource)) 535 log.info(_("{page} created").format(page=resource))
525 else: 536 else:
526 log.info(_("{page} reloaded").format(page=resource)) 537 log.info(_("{page} reloaded").format(page=resource))
527 538