From b932c1c30b66f95f165dbcaf73936f9dae968553 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Wed, 16 Jun 2004 13:34:11 +0000
Subject: [PATCH] Use rather _SERVER than GLOBALS, should fix bug #973602.

---
 ChangeLog      | 3 +++
 header.inc.php | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index aae3ef09e..4902e5492 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,9 @@ phpMyAdmin - Changelog
 $Id$
 $Source$
 
+2004-06-16 Michal Čihař  <michal@cihar.com>
+    * header.inc.php: Use rather _SERVER than GLOBALS, should fix bug #973602.
+
 2004-06-15 Marc Delisle  <lem9@users.sourceforge.net>
     * queryframe.php: undefined $cfgRelation, thanks to Michael Keck (mkkeck)
     * export.php, sql.php, db_details_importdocsql.php, ldi_check.php,
diff --git a/header.inc.php b/header.inc.php
index 9dab90eef..de85d8718 100644
--- a/header.inc.php
+++ b/header.inc.php
@@ -41,7 +41,7 @@ if (empty($GLOBALS['is_header_sent'])) {
      */
     $title     = '';
     if ($cfg['ShowHttpHostTitle']) {
-        $title .= (empty($GLOBALS['cfg']['SetHttpHostTitle']) ? $GLOBALS['HTTP_HOST'] : $GLOBALS['cfg']['SetHttpHostTitle']) . ' >> ';
+        $title .= (empty($GLOBALS['cfg']['SetHttpHostTitle']) ? $_SERVER['HTTP_HOST'] : $GLOBALS['cfg']['SetHttpHostTitle']) . ' >> ';
     }
     if (!empty($GLOBALS['cfg']['Server']) && isset($GLOBALS['cfg']['Server']['host'])) {
         $title.=str_replace('\'', '\\\'', $GLOBALS['cfg']['Server']['host']);