From ac10dc4affedfadfb626e33c1d4d05eb80f07867 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Tue, 11 May 2004 14:38:02 +0000
Subject: [PATCH] about PMA_sendHeaderLocation

---
 ChangeLog                          | 4 ++--
 libraries/auth/cookie.auth.lib.php | 2 ++
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 1ea1f6f37..0a8950645 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -6,8 +6,8 @@ $Id$
 $Source$
 
 2004-05-11 Marc Delisle  <lem9@users.sourceforge.net>
-    * tbl_replace.php, tbl_indexes.php, sql.php, db_details_common.php:
-      use PMA_sendHeaderLocation()
+    * tbl_replace.php, tbl_indexes.php, sql.php, db_details_common.php,
+      libraries/db_table_exists.php: use PMA_sendHeaderLocation()
 
 2004-05-11 Michal Čihař  <michal@cihar.com>
     * libraries/sqlparser.lib.php: Modified pretty printer to display nicer
diff --git a/libraries/auth/cookie.auth.lib.php b/libraries/auth/cookie.auth.lib.php
index aa2e82df2..beeec92cc 100644
--- a/libraries/auth/cookie.auth.lib.php
+++ b/libraries/auth/cookie.auth.lib.php
@@ -580,6 +580,8 @@ function PMA_auth_set_user()
         }
 
         // loic1: workaround against a IIS 5.0 bug
+        // lem9: here, PMA_sendHeaderLocation() has not yet been defined,
+        //       so use the workaround
         if (empty($GLOBALS['SERVER_SOFTWARE'])) {
             if (isset($_SERVER) && !empty($_SERVER['SERVER_SOFTWARE'])) {
                 $GLOBALS['SERVER_SOFTWARE'] = $_SERVER['SERVER_SOFTWARE'];