HTTP_SERVER_SERVER should be HTTP_SERVER_VARS, but since

[squirrelmail.git] / plugins / bug_report / functions.php

diff --git a/plugins/bug_report/functions.php b/plugins/bug_report/functions.php
index e078dfb9999b54c53358b179b7054dd5ff81a84a..ba2c2f352863b4cf6b1da3ea582dac676e898066 100644 (file)
--- a/plugins/bug_report/functions.php
+++ b/plugins/bug_report/functions.php
@@ -13,8 +13,7 @@
 /**
  * do not allow to call this file directly
  */
-if ((isset($_SERVER['SCRIPT_FILENAME']) && $_SERVER['SCRIPT_FILENAME'] == __FILE__) ||
-     (isset($HTTP_SERVER_SERVER['SCRIPT_FILENAME']) && $HTTP_SERVER_SERVER['SCRIPT_FILENAME'] == __FILE__) ) {
+if (isset($_SERVER['SCRIPT_FILENAME']) && $_SERVER['SCRIPT_FILENAME'] == __FILE__) {
     header("Location: ../../src/login.php");
     die();
 }