* $Id$
*/
-/* If a user opens a new session then comes back to this one,
- * $base_uri isn't set because it the session is invalid.
- */
-
-if (!isset($base_uri)) {
- $base_uri = dirname(dirname($PHP_SELF));
-}
-
function is_logged_in() {
if ( session_is_registered('user_is_logged_in') ) {