[tor-commits] [sandboxed-tor-browser/master] Try harder to ensure that the tor process dies properly.