(ports_interrupt_rpcs):

  Put RPC into the interrupted list.

1 files changed, 5 insertions, 2 deletions

diff --git a/libports/interrupt-rpcs.c b/libports/interrupt-rpcs.c
index 95eeed4b..7c28ff2c 100644
--- a/libports/interrupt-rpcs.c
+++ b/libports/interrupt-rpcs.c
@@ -1,5 +1,5 @@
 /* 
-   Copyright (C) 1995, 1996 Free Software Foundation, Inc.
+   Copyright (C) 1995, 1996, 1997 Free Software Foundation, Inc.
    Written by Michael I. Bushnell.
 
    This file is part of the GNU Hurd.
@@ -31,7 +31,10 @@ ports_interrupt_rpcs (void *portstruct)
   mutex_lock (&_ports_lock);
   
   for (rpc = pi->current_rpcs; rpc; rpc = rpc->next)
-    hurd_thread_cancel (rpc->thread);
+    {
+      hurd_thread_cancel (rpc->thread);
+      _ports_record_interruption (rpc);
+    }
 
   mutex_unlock (&_ports_lock);
 }