I got this error message from a cron job running darcs pull: darcs: ioManagerWakeup: write: Bad file descriptor Any idea what it means? It is not given every time. In fact I only saw it once, while the cron job runs every 5 minutes. -- Dan