# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1600002084 -7200
# Node ID 4751e9febbbf21bfe2945f37047a39c4682683fb
# Parent  d1032f9ece5be3ac70370a302974d66805d8e941
server: fixed HTTPS redirection

diff -r d1032f9ece5b -r 4751e9febbbf libervia/server/server.py
--- a/libervia/server/server.py	Sun Sep 13 15:01:22 2020 +0200
+++ b/libervia/server/server.py	Sun Sep 13 15:01:24 2020 +0200
@@ -1646,11 +1646,11 @@
         self.new_port = new_port
 
     def render(self, request):
-        netloc = request.URLPath().netloc.replace(
-            ":%s" % self.old_port, ":%s" % self.new_port
+        netloc = request.URLPath().netloc.decode().replace(
+            f":{self.old_port}", f":{self.new_port}"
         )
-        url = "https://" + netloc + request.uri
-        return web_util.redirectTo(url, request)
+        url = f"https://{netloc}{request.uri.decode()}"
+        return web_util.redirectTo(url.encode(), request)
 
 
 registerAdapter(session_iface.SATSession, server.Session, session_iface.ISATSession)