Fix for ob_flush() bug code

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

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)