[0005209] Reports: fixed broken reports after session timeout.

[fa-stable.git] / includes / page / header.inc

diff --git a/includes/page/header.inc b/includes/page/header.inc
index ec80dc160973052d407325a37d60e7e951cc453c..8db8fe9ba5ae8f3b42cbea08022b42b6e48bd558 100644 (file)
--- a/includes/page/header.inc
+++ b/includes/page/header.inc
@@ -40,9 +40,10 @@ function help_url($context=null)
        if ($clean)
                $help_page_url = access_string($help_page_url, true);
 
-       return htmlspecialchars($SysPrefs->help_base_url
+       return html_specials_encode(
+               $SysPrefs->help_base_url
                .urlencode(strtr(ucwords($help_page_url), array(' '=>'', '/'=>'', '&'=>'And')))
-               .'&ctxhelp=1&lang='.$country, ENT_QUOTES);
+               .'&ctxhelp=1&lang='.$country);
 }
 
 function send_css($css = '')
@@ -91,7 +92,7 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js=""
        // titles and screen header
        global $path_to_root, $SysPrefs, $db_connections;
 
-       if (in_ajax())
+       if (in_ajax() || isset($_POST['REP_ID']))
                return; // just for speed up
 
        $theme = user_theme();