# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1527861648 -7200
# Node ID ea0d41ef37192fc2283b184dce4e746826aa981e
# Parent  01e95ec9df9e1415aa1670f653a3860d9531de58
server: return absolute page in checkRedirection

diff -r 01e95ec9df9e -r ea0d41ef3719 src/server/server.py
--- a/src/server/server.py	Fri Jun 01 15:09:19 2018 +0200
+++ b/src/server/server.py	Fri Jun 01 16:00:48 2018 +0200
@@ -1892,7 +1892,9 @@
             test_url = u'/' + u'/'.join(url_parts[:idx])
             if test_url in inv_redirections:
                 rem_url = url_parts[idx:]
-                return u'/'.join([inv_redirections[test_url]] + rem_url)
+                return os.path.join(
+                    u'/',
+                    u'/'.join([inv_redirections[test_url]] + rem_url))
         return url
 
     ## Sessions ##