Allow force restart/reload of tor.real
Sometimes I find, the with rather complicated network settings and/or changing networks, the tor process just gets stuck in some odd state. Not doing anything really.
For example: I am on a VPN network all day long, Tor Browser is set up to use the proxy on that network, and I am browsing away happily. Leaving the compouter for the night, due to inactivity, the VPN often terminates. The next morning, the browser is still configured to use the proxy on the VPN, but first I need to connect to the VPN. However after re-establishing the VPN connection the browser seems to be stuck in an offline state. Looking at the logs, the tor.real process seems to be sitting around idle too, with every page timing out.
Can we perhaps have some way of triggering a reload/restart to awake tor.real, reloading the config, and re-establishing the connections to the Tor Network.
NOTE: Getting a new identity would seem as a solution, but that means, all my tabs and my sessions die, which is not what I'd prefer when changing networks.