# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1516381261 -3600
# Node ID dfced79924601aa3dd49ce10298533534842ba22
# Parent  841a595bee5aabe9c23dcbdd1ccd013bae0d5e2e
pages: ignore empty or unset arguments in getURL

diff -r 841a595bee5a -r dfced7992460 src/server/pages.py
--- a/src/server/pages.py	Fri Jan 19 18:00:04 2018 +0100
+++ b/src/server/pages.py	Fri Jan 19 18:01:01 2018 +0100
@@ -351,8 +351,9 @@
         """retrieve URL of the page set arguments
 
         *args(list[unicode]): argument to add to the URL as path elements
+            empty or None arguments will be ignored
         """
-        url_args = [quote(a) for a in args]
+        url_args = [quote(a) for a in args if a]
 
         if self.name is not None and self.name in self.pages_redirects:
             # we check for redirection