FileFinished()

Syntax:

FileFinished (String filename)
filename: Name der Datei

Beispiel:

FileFinished ("daten.dat")

Beschreibung:

Gibt dem System bekannt, dass die Datei filename nicht mehr verwendet wird. Dies hat im lokalen Fall keine Beduetung, spart jedoch für TopoCast wichtige Ressourcen.

Siehe auch ReadFile().