# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1537298211 -7200
# Node ID 9cf592d1e6aa75b5f1d60920b0c5f2b8472f37b9
# Parent  8a7d75c18d4083266e87a02d89af5e4fa96ddb54
server: better error handling when a named page mentioned in menu_json is missing

diff -r 8a7d75c18d40 -r 9cf592d1e6aa libervia/server/server.py
--- a/libervia/server/server.py	Tue Sep 18 21:16:47 2018 +0200
+++ b/libervia/server/server.py	Tue Sep 18 21:16:51 2018 +0200
@@ -329,9 +329,10 @@
                 try:
                     url = self.getPageByName(page_name).url
                 except KeyError as e:
-                    log.error(_(u"Can'find a named page ({msg}), please check "
-                                u"menu_json in configuration.").format(msg=e))
-                    raise e
+                    log_msg = _(u"Can'find a named page ({msg}), please check "
+                                u"menu_json in configuration.").format(msg=e.args[0])
+                    log.error(log_msg)
+                    raise exceptions.ConfigError(log_msg)
             main_menu.append((page_name, url))
         self.main_menu = main_menu