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

Author: nveid

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();
+?>