Call ob_flush because output_buffering may be enabled

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@752 7c3ca157-0c34-0410-bff1-cbf682f78f5c
This commit is contained in:
jakubvrana 2009-06-22 10:06:09 +00:00
parent 607e104fa1
commit 27ef128c11
2 changed files with 2 additions and 0 deletions

View file

@ -216,6 +216,7 @@ function get_databases() {
// SHOW DATABASES can take very long so it is cached
$return = &$_SESSION["databases"][$_GET["server"]];
if (!isset($return)) {
ob_flush();
flush();
$return = get_vals("SHOW DATABASES");
}

View file

@ -31,6 +31,7 @@ if (!$error && $_POST) {
} else {
$empty = false;
echo "<pre class='jush-sql'>" . shorten_utf8(trim(substr($query, 0, $match[0][1]))) . "</pre>\n";
ob_flush();
flush(); // can take a long time - show the running query
$start = explode(" ", microtime()); // microtime(true) is available since PHP 5
//! don't allow changing of character_set_results, convert encoding of displayed query