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]