Handle hostnames with upper-case letters

[webmin.git] / record-logout.pl

diff --git a/record-logout.pl b/record-logout.pl
index c49f166..d07ecd0 100755 (executable)
--- a/record-logout.pl
+++ b/record-logout.pl
@@ -6,8 +6,10 @@ use WebminCore;
 
 &init_config();
 ($username, $sid, $remoteip) = @ARGV;
-$WebminCore::remote_user = $remote_user = $username;
-$main::session_id = $sid;
-$0 = "miniserv.pl";
-&webmin_log("logout", undef, undef, undef, "global", undef,
-           undef, $remoteip);
+if ($username && $sid && $remoteip) {
+       $WebminCore::remote_user = $remote_user = $username;
+       $main::session_id = $sid;
+       $0 = "miniserv.pl";
+       &webmin_log("logout", undef, undef, undef, "global", undef,
+                   undef, $remoteip);
+       }