From c250d58e21be64c70275a7b58816ecc981c5cee2 Mon Sep 17 00:00:00 2001
From: hsc <hsc@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Wed, 13 Jun 2012 12:53:32 +0000
Subject: [PATCH] wmoo: remove events before leaving their scope

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1341 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
---
 src/experiments/weather-monitor/experiment.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/experiments/weather-monitor/experiment.cc b/src/experiments/weather-monitor/experiment.cc
index fff53b0b..c037c0d3 100644
--- a/src/experiments/weather-monitor/experiment.cc
+++ b/src/experiments/weather-monitor/experiment.cc
@@ -306,7 +306,9 @@ bool WeatherMonitorExperiment::run()
 			ss << "eventid " << ev->getId() << " EIP " << simulator.getRegisterManager().getInstructionPointer();
 			result->set_details(ss.str());
 		}
-		simulator.removeEvent(&ev_timeout);
+		// explicitly remove all events before we leave their scope
+		// FIXME event destructors should remove them from the queues
+		simulator.clearEvents();
 	}
 	// sanity check: do we have exactly 8 results?
 	if (param.msg.result_size() != 8) {