Danke für Deine Antwort Sven,
flush() hat genau das gebracht, was ich gesucht hatte:
for ($j = 0; $j < 1000000; $j++) {
//hier passiert was
if($bShowDetails) {
if(($j%10000)==0)
echo "<p>". date("d.m.Y H:i:s") ." <strong>". $j ."</strong></p>";flush();
if(($j%100)==0) echo "<!-- bufferme -->.";flush();
}
}
Das <!-- bufferme --> ist wohl für den IE nötig, der eine Mindestlänge vor dem Output erwartet...
Gruß,
Manu