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

tbrehm

2008-06-08 8b5ccd302bd1497de721a25e4ce086bebf95173f

 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;
      }
   }