From eac78d6c63115a15ca659b0ef27ed76894777814 Mon Sep 17 00:00:00 2001 From: Joe Hunt Date: Fri, 25 Jul 2008 21:13:07 +0000 Subject: [PATCH] Default application setting does not work [0000034] --- CHANGELOG.txt | 4 ++++ includes/page/header.inc | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.txt b/CHANGELOG.txt index 8db3a879..47bc92f0 100644 --- a/CHANGELOG.txt +++ b/CHANGELOG.txt @@ -19,6 +19,10 @@ Legend: ! -> Note $ -> Affected files +25-Jul-2008 Joe Hunt +# Default application setting does not work [0000034] +$ /includes/page/header.inc + 25-jul-2008 Joe Hunt ! The built version in config.php now shows the last change date of this file (CHANGELOG.txt). $ config.php diff --git a/includes/page/header.inc b/includes/page/header.inc index f77de073..931616f1 100644 --- a/includes/page/header.inc +++ b/includes/page/header.inc @@ -93,7 +93,7 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js="" $sel_app = $_SESSION["sel_app"]; else $sel_app = $def_app; - $_SESSION["sel_app"] = $sel_app; + $_SESSION["App"]->selected_application = $_SESSION["sel_app"] = $sel_app; $encoding = $_SESSION['language']->encoding; if (!headers_sent()){ -- 2.30.2