In the Polipo version, when I exit, Tor and Polipo remain running, and interfere with restarting OperaTor
More information about formatting options