/// <summary> /// Dispose of this pool /// </summary> public void Dispose() { // Don't allow anyone to execute this.m_freeExecutors.Clear(); foreach (var i in this.m_executors) { i.Dispose(); } this.m_executors = null; this.m_freeExecutors = null; // Notify this.m_resetEvent.Set(); s_current = null; }
/// <summary> /// Javascript executor pool /// </summary> static JavascriptExecutorPool() { s_current = new JavascriptExecutorPool(); }