X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=includes%2Frts%2FIOManager.h;h=3aedda8b55375ad63de470d15e01c4fa7f234598;hb=997c87bcdca78ad60c129a0da29a425bc5bac638;hp=ef89f27a301c1eb705fed1c12ff580c50755e0b5;hpb=d20d32d788e2d6c088e6b03776c428df5bb004d3;p=ghc-hetmet.git diff --git a/includes/rts/IOManager.h b/includes/rts/IOManager.h index ef89f27..3aedda8 100644 --- a/includes/rts/IOManager.h +++ b/includes/rts/IOManager.h @@ -27,6 +27,7 @@ void sendIOManagerEvent (HsWord32 event); #else void setIOManagerPipe (int fd); +void ioManagerSync (void); #endif @@ -35,8 +36,8 @@ void setIOManagerPipe (int fd); // 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