From 1a35c6e48385ca15f88a788e63f37f24a1560403 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sat, 30 Oct 2004 00:35:29 +0000
Subject: [PATCH] bug 1053310

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

diff --git a/ChangeLog b/ChangeLog
index 70fd76167..1e4cff66f 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -10,6 +10,7 @@ $Source$
     * server_privileges.php (top index): MySQLi compatibility,
       use PMA_convert_using() in case of non-latin1 user table,
       and fix bug #1054467 (in case of BINARY User field)
+    * header.inc.php: bug #1053310, undefined index under OmniSecure server
 
 2004-10-28 Alexander M. Turek  <me@derrabus.de>
     * user_password.php, lang/*.inc.php: Allow usage of old password hashing
diff --git a/header.inc.php b/header.inc.php
index 06efbb67a..9c405eed4 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']) ? $_SERVER['HTTP_HOST'] : $GLOBALS['cfg']['SetHttpHostTitle']) . ' >> ';
+        $title .= (empty($GLOBALS['cfg']['SetHttpHostTitle']) && isset($_SERVER['HTTP_HOST']) ? $_SERVER['HTTP_HOST'] : $GLOBALS['cfg']['SetHttpHostTitle']) . ' >> ';
     }
     if (!empty($GLOBALS['cfg']['Server']) && isset($GLOBALS['cfg']['Server']['host'])) {
         $title.=str_replace('\'', '\\\'', $GLOBALS['cfg']['Server']['host']);