Changing Tor proxy settings seems to require FF restart
When Tor proxy settings are changed in Firefox 3.5, for some reason they don't seem to apply until a firefox restart happens. Could be a firefox bug. Or could be ours.
[Automatically added by flyspray2trac: Operating System: All]