From fa12f6bd65001f2d8eb17451d682751cf64c6497 Mon Sep 17 00:00:00 2001
From: Robin Johnson <robbat2@users.sourceforge.net>
Date: Fri, 26 Jul 2002 17:41:01 +0000
Subject: [PATCH] Fix for ob_flush() bug code

---
 ChangeLog                    | 3 ++-
 libraries/sqlparser.lib.php3 | 4 +++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 00e00e7c6..7954740ac 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -9,7 +9,8 @@ $Source$
     * libraries/sqlparser.lib.php3:
         - Fixed ANSI type string escaping
         - Fixed formatting wrt. whitespace in FormatHTML
-        - PHP3 fix for gzcompress bug code
+        - PHP3 fix for gzcompress() bug code
+        - Fix for ob_flush() bug code
     
 2002-07-26 Marc Delisle  <lem9@users.sourceforge.net>
     * Documentation.html: numbers for faq entries
diff --git a/libraries/sqlparser.lib.php3 b/libraries/sqlparser.lib.php3
index 25b0bd823..778e37c95 100644
--- a/libraries/sqlparser.lib.php3
+++ b/libraries/sqlparser.lib.php3
@@ -391,7 +391,9 @@ if (!defined('PMA_SQP_LIB_INCLUDED')) {
             echo '---END CUT---<br /><br />' . "\n\n";
             echo '</p>' . "\n";
             flush();
-            ob_flush();
+            if (PMA_PHP_INT_VERSION >= 42000 && @function_exists('ob_flush')) { 
+                ob_flush();
+            }
             die();
         } // end while ($count2 < $len)