global $BASE_URL, $LOGIN_TYPE;
echo "<pre>";
+ if(isset($_SERVER["PHP_AUTH_USER"])) error_log("authuser: ".$_SERVER["PHP_AUTH_USER"]."\n");
echo "USERTYPE: $LOGIN_TYPE\n";
echo "BASEURL: $BASE_URL\n";
echo "CUSTOM\n";
} else {
echo "No session data";
}
+ echo "\n\nglobal\n";
+ print_r($GLOBALS);
echo "</pre>";