function devel_drupal_goto_alter

Implements hook_drupal_goto_alter().

File

./devel.module, line 1075

Code

function devel_drupal_goto_alter($path, $options, $http_response_code) {
    global $user;
    if (isset($path) && !devel_silent()) {
        // The page we are leaving is a drupal_goto(). Present a redirection page
        // so that the developer can see the intermediate query log.
        // We don't want to load user module here, so keep function_exists() call.
        if (isset($user) && function_exists('user_access') && user_access('access devel information') && variable_get('devel_redirect_page', 0)) {
            $destination = function_exists('url') ? url($path, $options) : $path;
            $output = t_safe('<p>The user is being redirected to <a href="@destination">@destination</a>.</p>', array(
                '@destination' => $destination,
            ));
            drupal_deliver_page($output);
            // Don't allow the automatic redirect to happen.
            exit;
        }
        else {
            $GLOBALS['devel_redirecting'] = TRUE;
        }
    }
}