[tor-commits] [flashproxy/master] Make facilitator_poll_interval option override other settings.