flush --
Der Ausgabe-Puffer wird geleert und alle Zeichen ausgegeben
Beschreibung:
void flush ( void)
Unabhängig davon, wie PHP läuft (CGI oder WEB-Server), wird der
gesamte Ausgabe-Puffer geleert. Dabei wird versucht den ganzen
Inhalt an den Browser des Benutzers zu schicken.
