changeset 1044:3d97c93561ff

server: don't change request.uri and request.path on redirection: the original URL must actually be used
author Goffi <goffi@goffi.org>
date Wed, 24 Jan 2018 20:23:23 +0100
parents d8666fdb015c
children b2eeb9ac2ab8
files src/server/server.py
diffstat 1 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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