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/lib/classes/ids.inc.php |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/interface/lib/classes/ids.inc.php b/interface/lib/classes/ids.inc.php
index a98b0b2..ac5cb19 100644
--- a/interface/lib/classes/ids.inc.php
+++ b/interface/lib/classes/ids.inc.php
@@ -51,7 +51,6 @@
 		require_once(ISPC_CLASS_PATH.'/IDS/Converter.php');
 		
 		$ids_request = array(
-			'SESSION' => $_SESSION,
 			'GET' => $_GET,
 			'POST' => $_POST,
 			'COOKIE' => $_COOKIE

--
Gitblit v1.9.1