Folgendes Problem: Ich habe auf dem Server eine zentrale Datei. Darauf
sollen mehrere User zugreifen können, aber nicht gleichzeitig.
Das heisst, der erste User der sich einloggt, bekommt das Schreibrecht
für diese Datei. Und wenn er sich wieder ausloggt, wird das Schreibrecht
gelöscht. Soweit wäre das kein Problem. Was aber wenn sich der User nicht
ausloggt, sondern einfach nur das Browserfenster schliesst. Dann wird das
Schreibrecht nicht gelöscht und ist somit fälschlicherweise für alle
anderen User gesperrt. Wie kann es geschafft werden, dass der Server bemerkt,
die Verbindung bricht ab und ich muss noch schnell das Schreibrecht löschen ?