# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1632929909 -7200
# Node ID 284522d8af44a322448a9122b2ddb4fda460a3ac
# Parent  e8c480b0078e8ec823bb2c4d2fe96f929bbaeb7a
pages: check redirections for LiberviaPage.getURL:

rel 395

diff -r e8c480b0078e -r 284522d8af44 libervia/server/pages.py
--- a/libervia/server/pages.py	Wed Sep 29 10:31:59 2021 +0200
+++ b/libervia/server/pages.py	Wed Sep 29 17:38:29 2021 +0200
@@ -665,11 +665,11 @@
             else url.encode("utf-8"),
         )
 
-    def getURL(self, *args):
+    def getURL(self, *args: str) -> str:
         """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
+        @param *args: arguments to add to the URL as path elements empty or None
+            arguments will be ignored
         """
         url_args = [quote(a) for a in args if a]
 
@@ -685,7 +685,10 @@
                     remaining_url = "/".join(remaining)
                     return os.path.join("/", url_base, remaining_url)
 
-        return os.path.join(self.url, *url_args)
+        return self.host.checkRedirection(
+            self.vhost_root,
+            os.path.join(self.url, *url_args)
+        )
 
     def getCurrentURL(self, request):
         """retrieve URL used to access this page