From db47573a0549ea617bec3e0ddad0c2d61f9b4a2e Mon Sep 17 00:00:00 2001 From: Arun Prakash Jana <engineerarun@gmail.com> Date: Sun, 26 Aug 2018 22:05:41 +0530 Subject: [PATCH] Strip port --- googler | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/googler b/googler index 82eb692..8ef6b2a 100755 --- 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.