#include "Rts.h"
#include <windows.h>
#include "ConsoleHandler.h"
-#include "SchedAPI.h"
#include "Schedule.h"
#include "RtsUtils.h"
-#include "RtsFlags.h"
#include "AsyncIO.h"
#include "RtsSignals.h"
stg_pending_buf[stg_pending_events] = dwCtrlType;
stg_pending_events++;
}
+
+ // we need to wake up awaitEvent()
+ abandonRequestWait();
#endif
return TRUE;
}