von ds10 » 11 Apr 2021, 12:50
Gegen den doppelten Start kann man in dem Fall nichts machen, denn du wirst TV-Browser aus Versehen kurz hintereinander doppelt gestartet haben. Zu dem Zeitpunkt ist aber für den zweiten Aufruf noch nicht feststellbar, dass es überhaupt einen ersten Aufruf gab.
Das hat einfach etwas mit dem Ablauf des Starts zu tun, bis Java geladen, TV-Browser gestartet und die Einstellungen geladen sind, ist TV-Browser noch nicht in der Lage die Sperrdatei zu schreiben. Dieser Zeitraum ließe sich noch geringfügig verkürzen, wenn die Sperrdatei gleich ganz zu Beginn geschrieben würde, aber dann würde auch Funktionalität verloren gehen.
Gegen den doppelten Start kann man in dem Fall nichts machen, denn du wirst TV-Browser aus Versehen kurz hintereinander doppelt gestartet haben. Zu dem Zeitpunkt ist aber für den zweiten Aufruf noch nicht feststellbar, dass es überhaupt einen ersten Aufruf gab.
Das hat einfach etwas mit dem Ablauf des Starts zu tun, bis Java geladen, TV-Browser gestartet und die Einstellungen geladen sind, ist TV-Browser noch nicht in der Lage die Sperrdatei zu schreiben. Dieser Zeitraum ließe sich noch geringfügig verkürzen, wenn die Sperrdatei gleich ganz zu Beginn geschrieben würde, aber dann würde auch Funktionalität verloren gehen.