public override void Abort() { Thread.AbortInvocation (ID); completed_event.WaitOne (); }
public override void AbortThread(MDB.Thread thread, MDB.RuntimeInvokeResult result) { result.Abort(); }