function _r4032login_exit in Redirect 403 to User Login 6

Performs end-of-request tasks.

Code borrowed from drupal_goto() because drupal_exit() doesn't exist in 6.x.

1 call to _r4032login_exit()

r4032login_redirect in ./r4032login.module

MENU_CALLBACK for /4032login

File

./r4032login.module, line 184

Redirect denied pages to the user login form.

Code

function _r4032login_exit($url = NULL) {

  // Allow modules to react to the end of the page request before redirecting.
  // We do not want this while running update.php.
  if (!defined('MAINTENANCE_MODE') || MAINTENANCE_MODE != 'update') {
    module_invoke_all('exit', $url);
  }

  // Even though session_write_close() is registered as a shutdown function, we
  // need all session data written to the database before redirecting.
  session_write_close();
}