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

tbrehm

2008-06-08 8b5ccd302bd1497de721a25e4ce086bebf95173f

 interface/web/designer/module_list.php

@@ -30,11 +30,8 @@
require_once('../../lib/config.inc.php');
require_once('../../lib/app.inc.php');

//* Check permissions for the module
if(!stristr($_SESSION['s']['user']['modules'],$_SESSION['s']['module']['name'])) {
   header('Location: ../index.php');
   exit;
}
//* Check permissions for module
$app->auth->check_module_permissions('designer');

$app->uses('tpl');