michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-03-20 08:40:24 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Drop 443 from port if not needed

Browse Source
This commit is contained in:
Jamie Cameron
2020-09-10 12:27:39 -07:00
parent 3d3ffd0e17
commit 048ae20b37
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
miniserv.pl
View File

@@ -1360,7 +1360,8 @@ elsif ($reqline !~ /^(\S+)\s+(.*)\s+HTTP\/1\..$/) {
$use_ssl = 0;
local $urlhost = $config{'musthost'} || $host;
$urlhost = "[".$urlhost."]" if (&check_ip6address($urlhost));
local $url = "https://$urlhost:$port/";
local $url = $port == 443 ? "https://$urlhost/"
: "https://$urlhost:$port/";
if ($config{'ssl_redirect'}) {
# Just re-direct to the correct URL
sleep(1); # Give browser a change to finish