Index: header.inc.php3
===================================================================
RCS file: /cvsroot/phpmyadmin/phpMyAdmin/header.inc.php3,v
retrieving revision 1.10
diff -u -U6 -r1.10 header.inc.php3
--- header.inc.php3	2001/07/23 17:02:42	1.10
+++ header.inc.php3	2001/07/26 13:21:57
@@ -1,11 +1,12 @@
 <?php
 /* $Id: header.inc.php3,v 1.10 2001/07/23 17:02:42 lem9 Exp $ */
 
 require('./lib.inc.php3');
-require('./ob_lib.inc.php3');
+if (!defined('__OB_LIB_INC__'))
+  require('./ob_lib.inc.php3');
 
 if ($cfgOBGzip)
 {
 $ob_mode = out_buffer_mode_get();
 if ($ob_mode)
   out_buffer_pre($ob_mode);