From 62d3da8339521e5b0863792d888a943f70f645ee Mon Sep 17 00:00:00 2001 From: Gabor Hojtsy Date: Fri, 6 Aug 2004 11:58:44 +0000 Subject: [PATCH] try to flush a php.ini started output buffer (problem noticed by shimi) --- mirror-info.php | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/mirror-info.php b/mirror-info.php index 62fd423fb..474fbef4c 100644 --- a/mirror-info.php +++ b/mirror-info.php @@ -32,6 +32,11 @@ if (isset($_SERVER['MIRROR_STATS']) && $_SERVER['MIRROR_STATS'] == '1') { echo "$MYSITE|", phpversion(), "|$LAST_UPDATED|$searchtype|$mirror_stats|" , default_language(), "|"; +// Try to flush an output buffer which was +// started in php.ini, so the virtual() is really +// output after the info above +ob_flush(); + // Test if there is a /manual alias $correctmanual = @virtual("/manual/noalias.txt"); if (!$correctmanual) { echo "manual-alias"; }