Default application setting does not work [0000034]

diff --git a/CHANGELOG.txt b/CHANGELOG.txt
index 8db3a8792f7f797fc5cfeeddcd989363aa5c69a9..47bc92f08902d1b4f5115bc37d9a38df24f8cfec 100644 (file)
--- 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 f77de073cb9760b0b9ed161fb4f870aaa95979ee..931616f1a7a38a07b1ef1c8298577af5e7d11f8f 100644 (file)
--- 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()){