diff --git a/debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MISession.java b/debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MISession.java index b43f1692d51..0c0ef8cb387 100644 --- a/debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MISession.java +++ b/debug/org.eclipse.cdt.debug.mi.core/src/org/eclipse/cdt/debug/mi/core/MISession.java @@ -212,6 +212,13 @@ MIPlugin.getDefault().debugLog(number++ + " " + cmd.toString()); return inferior; } + /** + * Return the "gdb/mi" Process. + */ + public Process getMIProcess() { + return miProcess; + } + /** * Check if the gdb session is terminated. */