/* -----------------------------------------------------------------------------
- * $Id: Select.c,v 1.26 2003/02/22 06:13:41 sof Exp $
+ * $Id: Select.c,v 1.30 2003/10/01 10:49:09 wolfgang Exp $
*
* (c) The GHC Team 1995-2002
*
/* #include "PosixSource.h" */
#include "Rts.h"
-#ifndef mingw32_TARGET_OS
-/* to the end */
-
#include "Schedule.h"
#include "RtsUtils.h"
#include "RtsFlags.h"
#include <errno.h>
#include <string.h>
+#ifdef HAVE_UNISTD_H
+#include <unistd.h>
+#endif
+
/* last timestamp */
nat timestamp = 0;
* we could block for a long time before the signal is
* serviced.
*/
+#if defined(RTS_USER_SIGNALS)
if (signals_pending()) {
RELEASE_LOCK(&sched_mutex); /* ToDo: kill */
startSignalHandlers();
ACQUIRE_LOCK(&sched_mutex);
return; /* still hold the lock */
}
+#endif
/* we were interrupted, return to the scheduler immediately.
*/
workerWakeupPending = rtsTrue;
}
}
-#endif
-#endif /* !mingw_TARGET_OS */
+/* resetWorkerWakeupPipeAfterFork
+ *
+ * To be called right after a fork().
+ * After the fork(), the worker wakeup pipe will be shared
+ * with the parent process, and that's something we don't want.
+ */
+void
+resetWorkerWakeupPipeAfterFork()
+{
+ if(workerWakeupInited) {
+ close(workerWakeupPipe[0]);
+ close(workerWakeupPipe[1]);
+ }
+ workerWakeupInited = rtsFalse;
+}
+#endif