# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1516821803 -3600
# Node ID 3d97c93561ff7a104a7a3c5dd3150ce46a870058
# Parent  d8666fdb015c5a6205ea9d611c78ead3a2d45526
server: don't change request.uri and request.path on redirection: the original URL must actually be used

diff -r d8666fdb015c -r 3d97c93561ff src/server/server.py
--- a/src/server/server.py	Wed Jan 24 09:58:00 2018 +0100
+++ b/src/server/server.py	Wed Jan 24 20:23:23 2018 +0100
@@ -334,8 +334,6 @@
                 ))
             # we change the request to reflect the new url
             request.postpath = path_list[1:] + request.postpath
-            request.uri = '/'.join([uri] + request.postpath)
-            request.path = '/'.join([path] + request.postpath)
             request.args = args
 
         # we start again to look for a child with the new url