[tor-commits] [tor] 02/07: Log name of managed proxy in exit handler.