Change-Id: I8346915fe6276a96f2a0e0082571c01beecbf2fd
// release the debugger thread
ThreadManagement::SendDebuggerExecDoneSignal();
// wait inside pause
- pause();
- //clean current seqexp
+ try
+ {
+ pause();
+ }
+ catch (const ast::InternalAbort& ia)
+ {
+ // can append when aborting an execution
+ // which is running inside a pause
+ interrupted = false;
+ throw ia;
+ }
+
interrupted = false;
}