Minor adjustments
[fa-stable.git] / includes / page / header.inc
index f77de073cb9760b0b9ed161fb4f870aaa95979ee..97529207827b49f15a4b97c41126d9dec924d57b 100644 (file)
@@ -94,6 +94,8 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js=""
        else
                $sel_app = $def_app;
        $_SESSION["sel_app"] = $sel_app;
+       if (isset($_SESSION["App"]) && is_object($_SESSION["App"]))
+               $_SESSION["App"]->selected_application = $sel_app;
        $encoding = $_SESSION['language']->encoding;
 
        if (!headers_sent()){