Missing "exit" on patch tool when patch is missing

Marius Cramer

2015-03-26 842bf55981aebd9a55d6330346769ea5b93f8e4b

 interface/web/admin/server_php_del.php

@@ -44,6 +44,7 @@

//* Check permissions for module
$app->auth->check_module_permissions('admin');
$app->auth->check_security_permissions('admin_allow_server_php');

$app->uses("tform_actions");
$app->tform_actions->onDelete();