From d48f4d0f690c04db5902ddcf51f49c578801e30c Mon Sep 17 00:00:00 2001
From: adrian <adrian@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Wed, 13 Jun 2012 11:37:33 +0000
Subject: [PATCH] wmoo: TimerEvent bugfix (the event needs to be deleted
 explicitly).

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

diff --git a/src/experiments/weather-monitor/experiment.cc b/src/experiments/weather-monitor/experiment.cc
index 9c36488e..fff53b0b 100644
--- a/src/experiments/weather-monitor/experiment.cc
+++ b/src/experiments/weather-monitor/experiment.cc
@@ -306,6 +306,7 @@ bool WeatherMonitorExperiment::run()
 			ss << "eventid " << ev->getId() << " EIP " << simulator.getRegisterManager().getInstructionPointer();
 			result->set_details(ss.str());
 		}
+		simulator.removeEvent(&ev_timeout);
 	}
 	// sanity check: do we have exactly 8 results?
 	if (param.msg.result_size() != 8) {