From 4528b07b8033108fb5e80ae617b6260ec266b381 Mon Sep 17 00:00:00 2001
From: Alain Magloire <alain@qnx.com>
Date: Mon, 26 Aug 2002 05:26:45 +0000
Subject: [PATCH] put the fireEvents() methods here.

---
 .../eclipse/cdt/debug/mi/core/MISession.java  | 21 +++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

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 05e5f959154..4494da91041 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
@@ -17,7 +17,8 @@ import org.eclipse.cdt.debug.mi.core.command.MIExecAbort;
 import org.eclipse.cdt.debug.mi.core.command.MIExecInterrupt;
 import org.eclipse.cdt.debug.mi.core.command.MIGDBExit;
 import org.eclipse.cdt.debug.mi.core.command.MIGDBSet;
-import org.eclipse.cdt.debug.mi.core.event.MIExitEvent;
+import org.eclipse.cdt.debug.mi.core.event.MIEvent;
+import org.eclipse.cdt.debug.mi.core.event.MIGDBExitEvent;
 import org.eclipse.cdt.debug.mi.core.output.MIInfo;
 import org.eclipse.cdt.debug.mi.core.output.MIOutput;
 import org.eclipse.cdt.debug.mi.core.output.MIParser;
@@ -229,7 +230,8 @@ MIPlugin.getDefault().debugLog(number++ + " " + cmd.toString());
 
 		// Tell the observers that the session
 		// is finish, but we can not use the Event Thread.
-		notifyObservers(new MIExitEvent());
+		// The Event Thread is being kill below.
+		notifyObservers(new MIGDBExitEvent());
 		
 		// send the exit(-gdb-exit).
 		try {
@@ -332,4 +334,19 @@ MIPlugin.getDefault().debugLog(number++ + " " + cmd.toString());
 	MIOutput parse(String buffer) {
 		return parser.parse(buffer);
 	}
+
+	public void fireEvents(MIEvent[] events) {
+		if (events != null && events.length > 0) {
+			for (int i = 0; i < events.length; i++) {
+				fireEvent(events[i]);
+			}
+		}
+	}
+
+	public void fireEvent(MIEvent event) {
+		if (event != null) {
+			getEventQueue().addItem(event);
+		}
+	}
+
 }