From 842bf55981aebd9a55d6330346769ea5b93f8e4b Mon Sep 17 00:00:00 2001
From: Marius Cramer <m.cramer@pixcept.de>
Date: Thu, 26 Mar 2015 12:28:17 -0400
Subject: [PATCH] Missing "exit" on patch tool when patch is missing
---
interface/web/admin/server_php_edit.php | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/interface/web/admin/server_php_edit.php b/interface/web/admin/server_php_edit.php
index ff65c70..f60ae99 100644
--- a/interface/web/admin/server_php_edit.php
+++ b/interface/web/admin/server_php_edit.php
@@ -43,6 +43,7 @@
//* Check permissions for module
$app->auth->check_module_permissions('admin');
+$app->auth->check_security_permissions('admin_allow_server_php');
// Loading classes
$app->uses('tpl,tform,tform_actions');
--
Gitblit v1.9.1