Fix: Delete session on logout
authorMichal Novotny <minovotn@redhat.com>
Tue, 7 Aug 2012 12:08:52 +0000 (14:08 +0200)
committerMichal Novotny <minovotn@redhat.com>
Tue, 7 Aug 2012 12:08:52 +0000 (14:08 +0200)
Signed-off-by: Michal Novotny <minovotn@redhat.com>

init.php

index 0a2ac95..ba17ee6 100644 (file)
--- a/init.php
+++ b/init.php
        if (array_key_exists('action', $_GET) && ($_GET['action'] == 'logout')) {
                unset($_SESSION['logged_in']);
                unset($_SESSION['user_perms']);
+               unset($_SESSION['connections']);
+               unset($_SESSION['connection_uri']);
+               unset($_SESSION['connection_credentials']);
+               unset($_SESSION['connection_logging']);
        }
 
        if (!verify_user($db)) {