Disallow server changes for existing records in mail_domain_edit.php

tbrehm

2008-12-12 ec09b18c9c44f85ceb6d9e7588a03a221cd1193f

 interface/web/admin/language_export.php

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

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

//* This is only allowed for administrators
if(!$app->auth->is_admin()) die('only allowed for administrators.');