internal void Kill()
{
if (servant != null)
{
servant.Kill();
}
Dispose();
}
public void Kill()
{
if (!Inferior.HasThreadEvents)
{
SingleSteppingEngine[] sses = new SingleSteppingEngine [thread_hash.Count];
thread_hash.Values.CopyTo(sses, 0);
foreach (SingleSteppingEngine sse in sses)
{
sse.SetKilledFlag();
}
foreach (SingleSteppingEngine sse in sses)
{
sse.Kill();
}
}
else
{
main_thread.Kill();
}
}