Searched refs:FLUSH_SLEEP (Results 1 – 2 of 2) sorted by relevance
42 FLUSH_SLEEP=${FLUSH_SLEEP:-60}74 echo "Waiting $FLUSH_SLEEP seconds for coverage to be written..."75 sleep $FLUSH_SLEEP89 echo "Waiting $FLUSH_SLEEP seconds for coverage to be written..."90 sleep $FLUSH_SLEEP
55 FLUSH_SLEEP = 60 variable143 time.sleep(FLUSH_SLEEP)163 time.sleep(FLUSH_SLEEP)