mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-22 14:12:10 +02:00
Code Issues Wiki Activity

Changed the termination procedure.

Browse source
This commit is contained in:
Mikhail Khodjaiants 2002-08-18 21:27:43 +00:00
parent 078fe83ba3
commit 0c9803fd5d
2 changed files with 15 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MIInferior.java
View file

@ -126,6 +126,7 @@ public class MIInferior extends Process {
} }
} }
*/ */
if (!isTerminated()) {
if (!isSuspended()) if (!isSuspended())
{ {
// interrupt execution // interrupt execution
@ -134,11 +135,10 @@ public class MIInferior extends Process {
MIGDBExit exit = factory.createMIGDBExit(); MIGDBExit exit = factory.createMIGDBExit();
try { try {
session.postCommand(exit); session.postCommand(exit);
setTerminated();
session.getRxThread().fireEvent(new MIExitEvent());
} catch (MIException e) { } catch (MIException e) {
} }
} }
}
public synchronized boolean isSuspended() { public synchronized boolean isSuspended() {
return state == SUSPENDED; return state == SUSPENDED;

7
debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/RxThread.java
View file

@ -121,6 +121,7 @@ MIPlugin.getDefault().debugLog(line);
fireEvent(event); fireEvent(event);
} else if ("exit".equals(state)) { } else if ("exit".equals(state)) {
session.getMIInferior().setTerminated(); session.getMIInferior().setTerminated();
fireEvent(new MIExitEvent());
} }
// Notify the waiting command. // Notify the waiting command.
@ -309,13 +310,13 @@ MIPlugin.getDefault().debugLog(line);
event = new MIFunctionFinishedEvent(rr); event = new MIFunctionFinishedEvent(rr);
} }
} else if ("exited-normally".equals(reason)) { } else if ("exited-normally".equals(reason)) {
session.getMIInferior().setTerminated(); // session.getMIInferior().setTerminated();
event = new MIInferiorExitEvent(); event = new MIInferiorExitEvent();
} else if ("exited-signalled".equals(reason)) { } else if ("exited-signalled".equals(reason)) {
session.getMIInferior().setTerminated(); // session.getMIInferior().setTerminated();
event = new MIInferiorExitEvent(); event = new MIInferiorExitEvent();
} else if ("exited".equals(reason)) { } else if ("exited".equals(reason)) {
session.getMIInferior().setTerminated(); // session.getMIInferior().setTerminated();
event = new MIInferiorExitEvent(); event = new MIInferiorExitEvent();
} }
return event; return event;