1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-21 21:52:10 +02:00

quick fix for a race condition.

This commit is contained in:
Mikhail Khodjaiants 2002-08-21 16:46:23 +00:00
parent 3e2c4dadb3
commit 16d3e00a0f

View file

@ -227,6 +227,8 @@ MIPlugin.getDefault().debugLog(number++ + " " + cmd.toString());
// Destroy any MI Inferior(Process) // Destroy any MI Inferior(Process)
inferior.destroy(); inferior.destroy();
getEventQueue().addItem(new MIExitEvent());
// send the exit(-gdb-exit). // send the exit(-gdb-exit).
try { try {
MIGDBExit exit = factory.createMIGDBExit(); MIGDBExit exit = factory.createMIGDBExit();
@ -234,8 +236,6 @@ MIPlugin.getDefault().debugLog(number++ + " " + cmd.toString());
} catch (MIException e) { } catch (MIException e) {
} }
getEventQueue().addItem(new MIExitEvent());
// Close the input GDB prompt // Close the input GDB prompt
try { try {
if (inChannel != null) if (inChannel != null)