tbrehm
2011-08-10 b55e2b7e2de47e948d2899a44fb996194d193441
interface/web/login/logout.php
@@ -64,6 +64,7 @@
$_SESSION["s"]["user"] = null;
$_SESSION["s"]["module"] = null;
$_SESSION['s_old'] = null;
session_write_close();
//header("Location: ../index.php?phpsessid=".$_SESSION["s"]["id"]);