[tor-commits] [chutney/master] TorNet: Rename pid files after tor exits