[tor-commits] [flashproxy/master] Add a facilitator_poll_interval parameter.