/// <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);
}
/// <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);
}
