Feststellen ob Besucher die Seite zwischenzeitlich verlassen hat

[Beat]

Dein Problem hat wenig mit dem User-Agent zu tun.

Mich hätte die Lösung auch allgemein interessiert - wenn es eine gibt ;)

Du musst die art, wie beschreibbare Files geöffnet werden, unterscheiden in "zum lesen öffnen", "zum schreiben öffnen"
Im letzteren Fall genügt ein speichern nicht. Es braucht einen Timeout (zum beispiel logout) oder explizite Freigabe seitens des Editors.
Du musst also mit dem schreibenden öffnen die Userid und Timestamp in die offene Fileliste eintragen.
Sollte der User nun sein File zum zweiten mal öffnen, kannst du ihn warnen.

mfg Beat