# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1516826666 -3600
# Node ID 614843c49d6c7de4e7e5b7fe94a84bfc751e77f2
# Parent  b2eeb9ac2ab8cef36d1b2e764b05251a609d07ff
server: fixed unicode exception if old URL in url_redirections had a unicode character

diff -r b2eeb9ac2ab8 -r 614843c49d6c src/server/server.py
--- a/src/server/server.py	Wed Jan 24 20:26:39 2018 +0100
+++ b/src/server/server.py	Wed Jan 24 21:44:26 2018 +0100
@@ -279,7 +279,7 @@
 
         # XXX: splitted path case must not be changed, as it may be significant
         #      (e.g. for blog items)
-        return self._normalizeURL(path, lower=False).split('/'), uri, path, args
+        return self._normalizeURL(path.decode('utf-8'), lower=False).split('/'), uri, path, args
 
     def _redirect(self, request, request_data):
         """Redirect an URL by rewritting request