Removed commented deprecated Session_register().

[fa-stable.git] / includes / page / header.inc

diff --git a/includes/page/header.inc b/includes/page/header.inc
index fc850b953b950172d173c2299d351463d3bd177a..87d0ee870c751ad1ba6045a90ff32a2190e1e5f2 100644 (file)
--- a/includes/page/header.inc
+++ b/includes/page/header.inc
@@ -99,8 +99,6 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js=""
        {
                $no_menu = false;
        }
-       //if (!isset($_SESSION["sel_app"]))
-       //      session_register("sel_app");
        if (isset($_SESSION["App"]) && is_object($_SESSION["App"]) && isset($_SESSION["App"]->selected_application) &&
                $_SESSION["App"]->selected_application != "")
                $sel_app = $_SESSION["App"]->selected_application;