Handle hostnames with upper-case letters

[webmin.git] / switch_user.cgi

diff --git a/switch_user.cgi b/switch_user.cgi
index 2fea218..9bb8470 100755 (executable)
--- a/switch_user.cgi
+++ b/switch_user.cgi
@@ -2,7 +2,9 @@
 # switch_user.cgi
 # Force the webserver to re-authenticate
 
-require './web-lib.pl';
+BEGIN { push(@INC, ".."); };
+use WebminCore;
+
 &init_config();
 &get_miniserv_config(\%miniserv);
 $id = $$.time();