Send headers before exiting because of missing MySQL extension.

ChangeLog

@@ -5,6 +5,10 @@ phpMyAdmin - Changelog
 $Id$
 $Source$
 
+2003-07-08 Alexander M. Turek  <rabus@users.sourceforge.net>
+    * libraries/common.lib.php3: Send headers before exiting because of missing
+      MySQL extension.
+
 2003-07-07 Alexander M. Turek  <rabus@users.sourceforge.net>
     * libraries/common.lib.php3, libraries/config_import.lib.php3: Backwards
       compatibility.

libraries/common.lib.php3

@@ -262,6 +262,9 @@ h1    {font-family: sans-serif; font-size: large; font-weight: bold}
 
         // check whether mysql is available
         if (!@function_exists('mysql_connect')) {
+            if (empty($is_header_sent)) {
+                include('./libraries/header_http.inc.php3');
+            }
             echo $strCantLoadMySQL . '<br />' . "\n"
                  . '<a href="./Documentation.html#faqmysql" target="documentation">' . $GLOBALS['strDocu'] . '</a>' . "\n";
             exit();