projects
/
fa-stable.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Minor adjustments
[fa-stable.git]
/
includes
/
page
/
header.inc
diff --git
a/includes/page/header.inc
b/includes/page/header.inc
index f77de073cb9760b0b9ed161fb4f870aaa95979ee..97529207827b49f15a4b97c41126d9dec924d57b 100644
(file)
--- a/
includes/page/header.inc
+++ b/
includes/page/header.inc
@@
-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()){