diff options
Diffstat (limited to 'hurd/intr-msg.c')
| -rw-r--r-- | hurd/intr-msg.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hurd/intr-msg.c b/hurd/intr-msg.c index b345e72cc4..41f43e1e28 100644 --- a/hurd/intr-msg.c +++ b/hurd/intr-msg.c @@ -77,6 +77,7 @@ _hurd_intr_rpc_mach_msg (mach_msg_header_t *msg, goto interrupted; case MACH_SEND_INTERRUPTED: /* RPC didn't get out. */ + case EINTR: /* Server not cooperating with interrupt. */ if (ss->intr_port != MACH_PORT_NULL) /* If this signal was for us and it should interrupt calls, the signal thread will have cleared SS->intr_port. |