On Thu, 1 Mar 2007 09:29:09 +0100
Geert Hendrickx <ghen@telenet.be> wrote:

> On Thu, Mar 01, 2007 at 07:59:39AM +0200, Jukka Marin wrote:
> > I have the same problem and removing ~/.mozilla/firefox/* helps -
> > but then you lose your bookmarks as well.  Never had the time to
> > track down _which_ file is the problem.  (IMHO, this is a bug in
> > firefox..)
> 
> Removing .mozilla/firefox/*/.parentlock is enough...
> 

Here's the shell script I gave my wife (a KDE user) to use when firefox
dies:

 #!/bin/ksh

if [ $# -gt 0 -a "x$1" = "x-f" ]
then
        kflag=y
        shift
else
        kflag=n
fi

x=`pgrep firefox-bin`
if [ ! -z "$x" ]
then
        echo Firefox is running: $x >&2
        if [ $kflag = n ]
        then
                echo kill it first with task manager >&2
                exit 1
        else
                echo killing it... >&2
                kill $x
                sleep 1; echo -n .
                sleep 1; echo -n .
                sleep 1; echo -n .
                sleep 1; echo
                x=`pgrep firefox-bin`
                if [ ! -z "$x" ]
                then
                        echo "sorry, couldn't kill it; get help or run
'unwedge -f'" >&2
                        exit 2
                fi
                echo "killed successfully; trying to unwedge" >&2
        fi
fi

rm -f $HOME/.mozilla/firefox/*.default/.parentlock
echo OK, try it now >&2
exit 0




		--Steve Bellovin, http://www.cs.columbia.edu/~smb