diff options
author | Miles Bader <miles@gnu.org> | 1995-12-27 21:47:43 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-12-27 21:47:43 +0000 |
commit | 28a3868fdf66cda7c3fe6c8059eca213d2a0f294 (patch) | |
tree | 606c537a22dbcf2a8da1e5f9742bda2b805e911b | |
parent | dafe0d3a58cf7f312990f62e8e5388508df9f46e (diff) |
(ports_end_rpc): Get rid of any rpc notifications.
-rw-r--r-- | libports/end-rpc.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libports/end-rpc.c b/libports/end-rpc.c index e4aba7bc..cd0aa2d4 100644 --- a/libports/end-rpc.c +++ b/libports/end-rpc.c @@ -26,6 +26,9 @@ ports_end_rpc (void *port, struct rpc_info *info) { struct port_info *pi = port; + if (info->notifies) + _ports_remove_notified_rpc (info); + mutex_lock (&_ports_lock); *info->prevp = info->next; if (info->next) |