Minor cleanup

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

diff --git a/plugins/bug_report/functions.php b/plugins/bug_report/functions.php
index e524057c5c2ca0ea0a4c4777b243eb5ee53e58d0..e078dfb9999b54c53358b179b7054dd5ff81a84a 100644 (file)
--- a/plugins/bug_report/functions.php
+++ b/plugins/bug_report/functions.php
@@ -2,7 +2,7 @@
 /**
  * functions for bug_report plugin
  *
- * @copyright © 2004-2006 The SquirrelMail Project Team
+ * @copyright © 2004-2007 The SquirrelMail Project Team
  * @license http://opensource.org/licenses/gpl-license.php GNU Public License
  * @version $Id$
  * @package plugins
@@ -13,8 +13,8 @@
 /**
  * do not allow to call this file directly
  */
-if ((isset($_SERVER) && $_SERVER['SCRIPT_FILENAME'] == __FILE__) ||
-     (isset($HTTP_SERVER_SERVER) && $HTTP_SERVER_SERVER['SCRIPT_FILENAME'] == __FILE__) ) {
+if ((isset($_SERVER['SCRIPT_FILENAME']) && $_SERVER['SCRIPT_FILENAME'] == __FILE__) ||
+     (isset($HTTP_SERVER_SERVER['SCRIPT_FILENAME']) && $HTTP_SERVER_SERVER['SCRIPT_FILENAME'] == __FILE__) ) {
     header("Location: ../../src/login.php");
     die();
 }
@@ -80,5 +80,3 @@ function bug_report_check_user() {
 function bug_report_array_trim(&$value,$key) {
     $value=trim($value);
 }
-
-?>
\ No newline at end of file