summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-03-20 16:09:24 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-03-20 16:09:24 +0000
commit929a5a39026cc75b4812746e3a7d3244a7e9964f (patch)
tree60a910d05c446862e0cc5eb30dbffad61e0ff127
parentf226bb375580fe520192d6fbc0daa8e4cfecefd0 (diff)
(message_demuxer): Remove call to interrupt_server.
(global_lock): Provide definition.
-rw-r--r--proc/main.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/proc/main.c b/proc/main.c
index 2d1ce467..1bba468d 100644
--- a/proc/main.c
+++ b/proc/main.c
@@ -35,15 +35,15 @@ message_demuxer (mach_msg_header_t *inp,
{
extern int process_server (mach_msg_header_t *, mach_msg_header_t *);
extern int notify_server (mach_msg_header_t *, mach_msg_header_t *);
- extern int interrupt_server (mach_msg_header_t *, mach_msg_header_t *);
extern int proc_exc_server (mach_msg_header_t *, mach_msg_header_t *);
return (process_server (inp, outp)
|| notify_server (inp, outp)
- || interrupt_server (inp, outp)
|| proc_exc_server (inp, outp));
}
+struct mutex global_lock = MUTEX_INITIALIZER;
+
int
main (int argc, char **argv, char **envp)
{