diff options
| -rw-r--r-- | hurd/intr-msg.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/hurd/intr-msg.c b/hurd/intr-msg.c index bc1f43d383..98f588f206 100644 --- a/hurd/intr-msg.c +++ b/hurd/intr-msg.c @@ -143,6 +143,12 @@ _hurd_intr_rpc_mach_msg (mach_msg_header_t *msg, XXX */ goto retry_receive; } + if (!(option & MACH_SEND_INTERRUPT)) + { + option = user_option; + timeout = user_timeout; + goto message; + } /* FALLTHROUGH */ /* These are the other codes that mean a pseudo-receive modified |