$sel_app = $_SESSION["sel_app"];
else
$sel_app = $def_app;
- $_SESSION["App"]->selected_application = $_SESSION["sel_app"] = $sel_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()){