diff --git a/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBProcesses_7_2.java b/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBProcesses_7_2.java
index 1bca83f8379..f5c946420bf 100644
--- a/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBProcesses_7_2.java
+++ b/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBProcesses_7_2.java
@@ -296,6 +296,7 @@ public class GDBProcesses_7_2 extends GDBProcesses_7_1 {
 //    			        	fCommandControl.queueCommand(
 //    			        			fCommandFactory.createMIRemoveInferior(fCommandControl.getContext(), containerDmc.getGroupId()),
 //    			    				new DataRequestMonitor<MIInfo>(getExecutor(), rm));
+    							rm.done();
     						} else {
     							// This command fails with GDB 7.2 because of a GDB bug, which was fixed with GDB 7.2.1
     							// In case we get here, we assume we are using GDB 7.2 (although we should not) and we work