Re: jsd would not restart

gp wrote:
> Restarting firefox is not suffice.
> I think I've found a matching bug report -
> https://bugzilla.mozilla.org/show_bug.cgi?id=358313
> Guy

Actually, that's not the one I meant. It's a dupe of the original, look 
at the bug again (I just set the duplicate thing).

Also, after closing Firefox, double-triple-check that the process 
(firefox.exe, assuming you're on Windows) has died. If it hasn't, kill 
it if it doesn't die within about 10 seconds. Then try again. I'm pretty 
sure that will do fine.

~ Gijs