If Firefox restarted, Vidalia does not exit upon Firefox exit
Separate from #4235 (closed) and #4258 (closed), Vidalia also doesn't exit if Firefox restarted due to an addon upgrade or adddon enable/disable restart.
Separate from #4235 (closed) and #4258 (closed), Vidalia also doesn't exit if Firefox restarted due to an addon upgrade or adddon enable/disable restart.