Fixed a problem with the logout when the php session has ended.

tbrehm

2008-06-08 8b5ccd302bd1497de721a25e4ce086bebf95173f

Fixed a problem with the logout when the php session has ended.

 interface/lib/classes/auth.inc.php

@@ -94,7 +94,8 @@
    public function check_module_permissions($module) {
        // Check if the current user has the permissions to access this module
        if(!stristr($_SESSION["s"]["user"]["modules"],$module)) {
            header("Location: ../index.php");
            echo "LOGIN_REDIRECT:/index.php";
            //header("Location: ../index.php");
            exit;
        }
    }

 interface/web/js/scrigo.js

@@ -46,6 +46,9 @@
                loadContent(parts[1]);
                //redirect = parts[1];
                //window.setTimeout('loadContent(redirect)', 1000);
            } else if (o.responseText.indexOf('LOGIN_REDIRECT:') > -1) {
                // Go to the login page
                document.location.href = 'index.php';
            } else {
                document.getElementById('pageContent').innerHTML = o.responseText;
            }