Strip port

jarun · Aug 26, 2018 · db47573 · db47573
1 parent 0696057
commit db47573
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/googler b/googler
@@ -2386,7 +2386,7 @@ def parse_proxy_spec(proxyspec):
         host_port = proxyspec[pos+1:].rstrip('/')
     else:
         user_passwd = None
-        host_port = proxyspec
+        host_port = proxyspec.rstrip('/')
 
     if ':' not in host_port:
         # Use port 1080 as default, following curl.