Tell any threads running serviceQueue to stop when there is no work left to be done
Declared in <scheduler.h>
<scheduler.h>
[[requires_capability(0x7f94ff5aedb8)]] void StopWhenDrained();