* $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)) {
- ereg ('(^.*/)[^/]+/[^/]+$', $PHP_SELF, $regs);
- $base_uri = $regs[1];
-}
-
function is_logged_in() {
if ( session_is_registered('user_is_logged_in') ) {