public PoolWorker(AgentThreadPool pool, int workerId) { _pool = pool; _threadExit = new TaskCompletionSource <object>(); var thread = new Thread(RunThread) { IsBackground = pool.Settings.ThreadType == ThreadType.Background, }; if (pool.Settings.Name != null) { thread.Name = string.Format("{0}_{1}", pool.Settings.Name, workerId); } thread.Start(); }
/// <summary> /// TBD /// </summary> /// <param name="pool">TBD</param> public AgentThreadPoolTaskScheduler(AgentThreadPool pool) { _pool = pool; }