##// END OF EJS Templates
merge with crew-stable
Martin Geisler -
r9109:00909238 merge default
parent child Browse files
Show More
@@ -441,6 +441,7 b' if has_https:'
441 # let host port take precedence
441 # let host port take precedence
442 if ':' in host and '[' not in host or ']:' in host:
442 if ':' in host and '[' not in host or ']:' in host:
443 host, port = host.rsplit(':', 1)
443 host, port = host.rsplit(':', 1)
444 port = int(port)
444 if '[' in host:
445 if '[' in host:
445 host = host[1:-1]
446 host = host[1:-1]
446
447
General Comments 0
You need to be logged in to leave comments. Login now