//////////////////////////////////////////////////////////////////////////
// Debug
//////////////////////////////////////////////////////////////////////////
public void dump(Fan.Sys.List args)
{
Fan.Sys.OutStream @out = Fan.Sys.Env.cur().@out();
if (args != null && args.size() > 0)
@out = (Fan.Sys.OutStream)args.get(0);
@out.printLine("ThreadPool");
@out.printLine(" pending: " + pending.Count);
@out.printLine(" idle: " + idle.Count);
@out.printLine(" workers: " + workers.Count);
IEnumerator en = workers.Values.GetEnumerator();
while (en.MoveNext())
{
Worker w = (Worker)en.Current;
@out.printLine(" " + w + " " + w.work);
}
}