[tor-commits] [flashproxy/master] Slightly abstract the facilitator polling interval.