# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1596293244 -7200
# Node ID a7ab4d244982e1379c5390cff3f0963455645635
# Parent  d0575e9abf7d7087ad3bc4723505203026deb7a6
pages: handle `jid.InvalidFormat` exception in `_filterPathValue`

diff -r d0575e9abf7d -r a7ab4d244982 libervia/server/pages.py
--- a/libervia/server/pages.py	Sat Aug 01 16:47:24 2020 +0200
+++ b/libervia/server/pages.py	Sat Aug 01 16:47:24 2020 +0200
@@ -845,7 +845,7 @@
             if value:
                 try:
                     return jid.JID(value)
-                except RuntimeError:
+                except (RuntimeError, jid.InvalidFormat):
                     log.warning(_("invalid jid argument: {value}").format(value=value))
                     self.pageError(request, C.HTTP_BAD_REQUEST)
             else: