Tor beginning with 0.4.1 seems to ignore SIGNAL SHUTDOWN on iOS
Ok, so it seems Tor doesn't honor SIGNAL SHUTDOWN anymore. The first Tor version I tested was 0.4.1.5 (first stable of 0.4.1).
Sending it with 0.4.0.6, I see this in the logs:
Apr 16 16:31:58.000 [notice] Interrupt: exiting cleanly.
With later Tor versions, this message disappears and the TorThread still hangs around after app wake up.