debugger: reset requested pause flag when abort 39/21639/1
Cedric Delamarre [Thu, 10 Dec 2020 12:27:12 +0000 (13:27 +0100)]
Change-Id: I22b897c2fd3322976fae70b1041dafbc86052529

scilab/modules/ast/src/cpp/ast/debugmanager.cpp

index 26ea968..11d1f0d 100644 (file)
@@ -468,6 +468,9 @@ void DebuggerManager::abort() //abort execution
     // 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())
     {