+ /* 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;
+ }
+}
+
+?>
\ No newline at end of file