1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

try to flush a php.ini started output buffer (problem noticed by shimi)

This commit is contained in:
Gabor Hojtsy
2004-08-06 11:58:44 +00:00
parent 99605df29b
commit 62d3da8339

View File

@@ -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"; }