Fix port number bug

Not noticed because in the wild port number extensions are rarely used
merge-requests/8/head
Bob Mottram 2020-12-16 11:33:45 +00:00
parent 32477e867b
commit 7084a2059f
1 changed files with 1 additions and 4 deletions

View File

@ -1781,10 +1781,7 @@ def sendPostViaServer(projectVersion: str,
print('WARN: No session for sendPostViaServer')
return 6
if toPort:
if toPort != 80 and toPort != 443:
if ':' not in fromDomain:
fromDomain = fromDomain + ':' + str(fromPort)
fromDomain = getFullDomain(fromDomain, fromPort)
handle = httpPrefix + '://' + fromDomain + '/@' + fromNickname