[tor-commits] [tor/master] fix crash bug in original feature4207 branch