daacc762332834791c17be2ec0d23f0b59d1ea8d
6 ** Contains functions used to do authentication.
11 if (defined ('auth_php'))
13 define ('auth_php', true);
15 function is_logged_in () {
16 if (session_is_registered('user_is_logged_in'))
19 echo "<html><body bgcolor=\"ffffff\">\n";
22 echo "<b>"._("You must be logged in to access this page.")."</b><br>";
23 echo "<a href=\"../src/login.php\" target=\"_top\">"._("Go to the login page")."</a>\n";
25 echo "</body></html>\n";