* on platform-specific services to install and run the timers.
*
*/
+
+#include "PosixSource.h"
#include "Rts.h"
-#include "RtsFlags.h"
+
+#include "Timer.h"
#include "Proftimer.h"
-#include "Storage.h"
#include "Schedule.h"
-#include "Timer.h"
#include "Ticker.h"
#include "Capability.h"
#include "RtsSignals.h"
}
void
-exitTimer(void)
+exitTimer (rtsBool wait)
{
if (RtsFlags.MiscFlags.tickInterval != 0) {
- exitTicker();
+ exitTicker(wait);
}
}