Flush

Schreibt alle Daten aus der Datei-Eingabe-Ausgabe-Puffer in die Datei

void  Flush()

Diese Website verwendet Cookies. Erfahren Sie mehr über unsere Cookies-Richtlinien.