3 # Force the webserver to re-authenticate
5 BEGIN { push(@INC, ".."); };
9 &get_miniserv_config(\%miniserv);
11 open(LOGOUT, ">$miniserv{'logout'}$id");
13 $ENV{'HTTP_USER_AGENT'} =~ /(MSIE\s+[6321]\.)|(Netscape\/[4321])|(Lynx)/ ? 1 : 2;
15 &redirect("/?miniserv_logout_id=$id");