if ( session_is_registered('user_is_logged_in') ) {
return;
} else {
+ global $HTTP_POST_VARS, $PHP_SELF, $session_expired_post,
+ $session_expired_location;
+
+ /* First we store some information in the new session to prevent
+ * information-loss.
+ */
+ $session_expired_post = $HTTP_POST_VARS;
+ $session_expired_location = $PHP_SELF;
+ if (!session_is_registered('session_expired_post')) {
+ session_register('session_expired_post');
+ }
+ if (!session_is_registered('session_expired_location')) {
+ session_register('session_expired_location');
+ }
include_once( '../functions/display_messages.php' );
logout_error( _("You must be logged in to access this page.") );
exit;