# HG changeset patch # User Goffi # Date 1632929977 -7200 # Node ID 0ea54090e4142c00987a4d1ba371580369f187a1 # Parent 47db314e60caeb50df713d4fbb1458642af45801 server: renamed `sat-app` to `libervia-app` following global renaming diff -r 47db314e60ca -r 0ea54090e414 libervia/server/server.py --- a/libervia/server/server.py Wed Sep 29 17:39:35 2021 +0200 +++ b/libervia/server/server.py Wed Sep 29 17:39:37 2021 +0200 @@ -180,6 +180,7 @@ def getChildForRequest(self, request): return super().getChildForRequest(request) + class LiberviaRootResource(ProtectedFile): """Specialized resource for Libervia root @@ -235,8 +236,8 @@ self.pages_redirects = {} self.cached_urls = {} self.main_menu = None - # map SàT application names => data - self.sat_apps = {} + # map Libervia application names => data + self.libervia_apps = {} self.build_path = host.getBuildPath(site_name) self.build_path.mkdir(parents=True, exist_ok=True) self.dev_build_path = host.getBuildPath(site_name, dev=True) @@ -296,7 +297,7 @@ await self.host.bridgeCall( "applicationStart", app_name, data_format.serialise(extra) ) - app_data = self.sat_apps[app_name] = data_format.deserialise( + app_data = self.libervia_apps[app_name] = data_format.deserialise( await self.host.bridgeCall( "applicationExposedGet", app_name, "", "")) @@ -549,7 +550,7 @@ log.error(msg) raise ValueError(msg) page_name, url = menu - elif menu.startswith("sat-app:"): + elif menu.startswith("libervia-app:"): app_name = menu[8:].strip().lower() app_data = await self._startApp(app_name) front_url = app_data['front_url']