# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1516784280 -3600
# Node ID 688b52897ba0b8a1bcea69caeec5204c017c10ac
# Parent  90b11cd6f28f86d8824d5174c0d2050744a27531
pages: check redirections on getURLByNames

diff -r 90b11cd6f28f -r 688b52897ba0 src/server/pages.py
--- a/src/server/pages.py	Wed Jan 24 09:58:00 2018 +0100
+++ b/src/server/pages.py	Wed Jan 24 09:58:00 2018 +0100
@@ -519,7 +519,7 @@
                 path.append(sub_path)
                 if page_args:
                     path.extend([quote(a) for a in page_args])
-        return u'/'.join(path)
+        return self.host.checkRedirection(u'/'.join(path))
 
     def getChildWithDefault(self, path, request):
         # we handle children ourselves