SESSION data on logout is really destroyed. Thus new configuration options,...

nveid

2011-08-28 25c72d9edd2b21fe538a3bfcb66bf05d55be12b3

SESSION data on logout is really destroyed. Thus new configuration options, such
as ones affecting theme can take place now.
Affected files: interface/web/login/logout.php

 interface/web/login/logout.php

@@ -64,7 +64,6 @@
$_SESSION["s"]["user"] = null;
$_SESSION["s"]["module"] = null;
$_SESSION['s_old'] = null;
session_write_close();

//header("Location: ../index.php?phpsessid=".$_SESSION["s"]["id"]);

@@ -77,5 +76,8 @@
        echo('URL_REDIRECT:index.php');
    }
}
exit;
?>
// Destroy the session completely now
$_SESSION = array();
session_destroy();
session_write_close();
?>