Searched refs:WORKER_COORDINATION_PING_DELAY (Results 1 – 3 of 3) sorted by relevance
246 int WORKER_COORDINATION_PING_DELAY; variable
304 init( WORKER_COORDINATION_PING_DELAY, 60 ); in ServerKnobs()
2610 state Future<Void> coordinationPingDelay = delay( SERVER_KNOBS->WORKER_COORDINATION_PING_DELAY );2687 coordinationPingDelay = delay( SERVER_KNOBS->WORKER_COORDINATION_PING_DELAY );