diff --git a/admin_menu.module b/admin_menu.module index b3f170c..8369e8d 100644 --- a/admin_menu.module +++ b/admin_menu.module @@ -186,6 +186,7 @@ function admin_menu_page_build(&$page) { // user, only output the hash for the client-side HTTP cache callback URL. $cid = 'admin_menu:' . $user->uid . ':' . session_id() . ':' . $language->language; if (!empty($_COOKIE['has_js']) && ($hash = admin_menu_cache_get($cid))) { + $GLOBALS['devel_shutdown'] = FALSE; // Prevent devel module from spewing. $settings['hash'] = $hash; // The base path to use for cache requests depends on whether clean URLs // are enabled, whether Drupal runs in a sub-directory, and on the language