diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-02-11 22:00:39 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-02-11 22:00:39 +0000 |
commit | 205e9fc10127028135ae44c1b08b7fb0ea09e664 (patch) | |
tree | 1ee90d45ef2969094e1f8126ec1d638b57f2d6b6 | |
parent | 49a17c55d69e5820e2f4c41bf8bca66dad956a64 (diff) |
entered into RCS
-rw-r--r-- | libdiskfs/notify-nosenders.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/libdiskfs/notify-nosenders.c b/libdiskfs/notify-nosenders.c index e646e287..e0eec36b 100644 --- a/libdiskfs/notify-nosenders.c +++ b/libdiskfs/notify-nosenders.c @@ -34,10 +34,9 @@ diskfs_do_seqnos_mach_notify_no_senders (mach_port_t notify, if (pt->type == PT_PAGER) pager_no_senders ((struct pager *)pt, seqno, mscount); else - { - ports_done_with_port (pt); - ports_done_with_port (pt); - } + ports_no_senders (pt, mscount); + + ports_done_with_port (pt); return 0; } |