michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-09-19 03:50:39 +01:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

Cleanup indent

Browse Source
This commit is contained in:
Jamie Cameron
2007-10-29 18:14:11 +00:00
parent 26c06b405a
commit 493e8a241b
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
miniserv.pl
View File

@@ -1166,8 +1166,12 @@ while(1) {
}
}
if (defined($header{'host'})) {
if ($header{'host'} =~ /^([^:]+):([0-9]+)$/) { $host = $1; $port = $2; }
else { $host = $header{'host'}; }
if ($header{'host'} =~ /^([^:]+):([0-9]+)$/) {
($host, $port) = ($1, $2);
}
else {
$host = $header{'host'};
}
if ($config{'musthost'} && $host ne $config{'musthost'}) {
# Disallowed hostname used
&http_error(400, "Invalid HTTP hostname");