[ale] mozilla won't start b/c default profile is busy, HUH ?

[Courtney Thomas]

joh6nn at hotpop.com wrote:
> mozilla products create lock files in their profile directories while
> they're running.  you need to delete this file to be able to get mozilla
>  to start again.  it should be .mozilla/firefox/YOURPROFILE/lock for
> firefox; i'm not sure what it would be for mozilla.  bu sure it's the
> lock file you delete, and NOT parent.lock
> 
> 
> -joh6nn
> _______________________________________________
> Ale mailing list
> Ale at ale.org
> http://www.ale.org/mailman/listinfo/ale
> 
Thanks John.

Would that be a file with a name something like... 
~./mozilla/default/pj4k32zr.slt ?

Appreciatively,

Courtney