Change-Id: I22b897c2fd3322976fae70b1041dafbc86052529
// this state is check by the debuggerVisitor to do abort in the main thread
setAborted();
+ // reset requested pause in case we abort before beeing in pause
+ resetPauseRequest();
+
// abort in a pause
if(isInterrupted())
{