HTTP_SERVER_SERVER should be HTTP_SERVER_VARS, but since

[squirrelmail.git] / themes / spice_of_life.php

diff --git a/themes/spice_of_life.php b/themes/spice_of_life.php
index 192b836799439b3c7fa3b4068208b588d5bf86b2..3be8549e913b9ee9c1ccce52f4dfa6a56e768c53 100755 (executable)
--- a/themes/spice_of_life.php
+++ b/themes/spice_of_life.php
@@ -15,8 +15,7 @@
  */
 
 /** Prevent direct script loading */
-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__) {
     die();
 }