diff --git a/debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MIPlugin.java b/debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MIPlugin.java
index 074752696c8..9f5cc997dae 100644
--- a/debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MIPlugin.java
+++ b/debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MIPlugin.java
@@ -372,6 +372,9 @@ public class MIPlugin extends Plugin {
 				session.getMIInferior().setConnected();
 			}
 		} catch (MIException e) {
+			if(session != null)
+				session.terminate();
+			
 			pgdb.destroy();
 			throw e;
 		}