From 801dc04dace5ec71eeaa56f0c594e42635f8e486 Mon Sep 17 00:00:00 2001 From: mDeflotte Date: Fri, 17 Feb 2012 16:26:29 +0000 Subject: [PATCH] // Remove unuseful lines --- classes/Tools.php | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/classes/Tools.php b/classes/Tools.php index 7f3277122..baa084cd5 100644 --- a/classes/Tools.php +++ b/classes/Tools.php @@ -107,10 +107,7 @@ class ToolsCore header($header); } - if (isset($_SERVER['HTTP_REFERER']) && $url == $_SERVER['HTTP_REFERER']) - header('Location: '.$_SERVER['HTTP_REFERER']); - else - header('Location: '.$url); + header('Location: '.$url); exit; }