#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"
}
}
+void resetDefaultHandlers(void)
+{
+ if ( !SetConsoleCtrlHandler(shutdown_handler, FALSE) ) {
+ errorBelch("warning: failed to uninstall default console handler");
+ }
+}
/*
* Function: blockUserSignals()
stg_pending_buf[stg_pending_events] = dwCtrlType;
stg_pending_events++;
}
+
+ // we need to wake up awaitEvent()
+ abandonRequestWait();
#endif
return TRUE;
}