/// <summary>Kills the worker threads of the scheduler one-by-one. This /// should only be used with a local scheduler that is known to be /// idle.</summary> public static void Kill(Scheduler sr) { var work = new AbortWork(); PushAll(sr, work); }