# HG changeset patch
# User Franz Glasner <hg@dom66.de>
# Date 1511347530 -3600
# Node ID 333f98d045aba910f394493ad57731773162c798
# Parent  fc8dbbe5f37f354426bbf9878fdb982ee053eb5f
FIX: Remove the port information from a cleaned path url also

diff -r fc8dbbe5f37f -r 333f98d045ab extensions/kwarchive.py
--- a/extensions/kwarchive.py	Sun Nov 19 17:09:14 2017 +0100
+++ b/extensions/kwarchive.py	Wed Nov 22 11:45:30 2017 +0100
@@ -311,6 +311,7 @@
                     path_url.user = None
                     path_url.passwd = None
                     path_url.host = stripped_hostname(path_url.host)
+                    path_url.port = None
                     path_uri = bytes(path_url)
                 else:
                     path_uri = util.hidepassword(ui.paths[hgpath].loc)
@@ -329,7 +330,7 @@
 
 
 def stripped_hostname(hostname):
-    """Return `hostname` without any domain information"""
+    """Return `hostname` without any domain port information"""
     if not hostname:
         return hostname
     idx = hostname.find('.')