#else
void setIOManagerPipe (int fd);
+void ioManagerSync (void);
#endif
// Posix implementation in posix/Signals.c
// Win32 implementation in win32/ThrIOManager.c
//
-#if defined(THREADED_RTS)
void ioManagerWakeup (void);
+#if defined(THREADED_RTS)
void ioManagerDie (void);
void ioManagerStart (void);
#endif