*/
if (!isset($base_uri)) {
- $base_uri = dirname(dirname($PHP_SELF));
+ $base_uri = dirname(dirname($PHP_SELF)) . "/";
}
function is_logged_in() {
/**
* Find out the base URI to set cookies.
*/
-$base_uri = dirname(dirname($PHP_SELF));
+$base_uri = dirname(dirname($PHP_SELF)) . "/";
@session_destroy();
/*
/* Before starting the session, the base URI must be known. Assuming */
/* that this file is in the src/ subdirectory (or something). */
-$base_uri = dirname(dirname($PHP_SELF));
+$base_uri = dirname(dirname($PHP_SELF)) . "/";
header('Pragma: no-cache');
$location = get_location();
/* If a user hits reload on the last page, $base_uri isn't set
* because it was deleted with the session. */
if (!isset($base_uri)) {
- $base_uri = dirname(dirname($PHP_SELF));
+ $base_uri = dirname(dirname($PHP_SELF)) . "/";
}
do_hook('logout');
require_once('../functions/i18n.php');
require_once('../functions/auth.php');
-$base_uri = dirname(dirname($PHP_SELF));
+$base_uri = dirname(dirname($PHP_SELF)) . "/";
session_start();
is_logged_in();