christoph/fail
1
Fork 0
Code Releases Activity

wmoo: remove events before leaving their scope

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1341 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
hsc
2012-06-13 12:53:32 +00:00
parent d48f4d0f69
commit c250d58e21
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/experiments/weather-monitor/experiment.cc
View File

@ -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) {