Commit 054740f4 authored by moshe weitzman's avatar moshe weitzman

use drupal_get_headers() to determine if we served an xml page. in this case,...

use drupal_get_headers() to determine if we served an xml page. in this case, we don't output the query log
parent 3ff35d57
......@@ -29,7 +29,7 @@ function devel_timer() {
function devel_exit() {
global $queries;
if (user_access('access devel information') && !strstr(request_uri(), 'feed')) { // try not to break the xml pages
if (user_access('access devel information') && !strstr(drupal_get_headers(), 'xml')) { // try not to break the xml pages
$dev_block_start = "<div style=\"padding-top: 8em;\">";
$dev_block_end = "</div>";
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment