mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-24 09:25:31 +02:00
Code Issues Wiki Activity

Fix 80092.

Browse source
This commit is contained in:
Ken Ryall 2006-11-29 01:34:52 +00:00
parent efebb99186
commit 3c5cecbebd
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MIPlugin.java
View file

@ -372,6 +372,9 @@ public class MIPlugin extends Plugin {
session.getMIInferior().setConnected();
}
} catch (MIException e) {
if(session != null)
session.terminate();
pgdb.destroy();
throw e;
}