Hallo,
mich würde mal interessieren was genau für eine Mechanik hinter der parent.lock Datei steckt.
Diese wird ja angelegt sobald Firefox starten und bei Beendigung gelöscht. Bei einem Absturz passiert es aber zum Teil dass sie nicht gelöscht wird und dann bis zum nächsten Systemstart bestehen bleibt und nicht gelöscht werden kann. Mich würde allerdings interessieren warum das Löschen nicht möglich ist. Liegt hier eine Trickserei mit dem Dateisystem vor die einen Zugriff unterbindet? Die fehlende Möglichkeit diese Datei bei einem Fehler manuell zu entfernen ist nämlich etwas nervig.
MfG
Mr. J