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