9 May
2003
9 May
'03
22:00
Raimund Hölle wrote:
Tschuldigung, daß ich mich einmische - dieses Problem kann aber auch auftreten, wenn die Datei noch von einem Prozess geöffnet ist - da ändert sich der timestamp u. U. nicht, obwohl der Dateiinhalt sich ändert.
Das dürfte eigentlich nicht passieren. Der Timestamp einer Datei wird nicht aktualisiert, wenn sie zum Schreiben geöffnet wird, sondern wenn tatsächlich etwas geschrieben wird, und zwar bei jedem einzelnen Schreibzugriff. Eilert -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Eilert Brinkmann -- Universitaet Bremen -- FB 3, Informatik eilert@informatik.uni-bremen.de - eilert@tzi.org http://www.informatik.uni-bremen.de/~eilert/