diff themes/__init__.py @ 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 1a19ee7d8d8a
children
line wrap: on
line diff