# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1632995742 -7200
# Node ID 87e48b6a1bbd403d30fe5907466cdb0d36caea9a
# Parent  8ac062d2ff8b40d6b5d30a5b5d459c4596f9cdec
server: fix `libervia-app` name parsing following prefix change

diff -r 8ac062d2ff8b -r 87e48b6a1bbd libervia/server/server.py
--- a/libervia/server/server.py	Thu Sep 30 11:43:44 2021 +0200
+++ b/libervia/server/server.py	Thu Sep 30 11:55:42 2021 +0200
@@ -551,7 +551,7 @@
                     raise ValueError(msg)
                 page_name, url = menu
             elif menu.startswith("libervia-app:"):
-                app_name = menu[8:].strip().lower()
+                app_name = menu[13:].strip().lower()
                 app_data = await self._startApp(app_name)
                 front_url = app_data['front_url']
                 options = self.host.options