[tor-commits] [flashproxy/master] Restore facilitator polling interval of 10 s (was 1 s).