diff options
Diffstat (limited to 'pfinet/io-ops.c')
| -rw-r--r-- | pfinet/io-ops.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pfinet/io-ops.c b/pfinet/io-ops.c index 147e52b0..2261bf9f 100644 --- a/pfinet/io-ops.c +++ b/pfinet/io-ops.c @@ -1,5 +1,5 @@ /* - Copyright (C) 1995, 1996, 1997 Free Software Foundation, Inc. + Copyright (C) 1995, 1996, 1997, 1998 Free Software Foundation, Inc. Written by Michael I. Bushnell, p/BSG. This file is part of the GNU Hurd. @@ -306,6 +306,7 @@ S_io_select (struct sock_user *user, if (cancel) { mutex_unlock (&global_lock); + mach_port_deallocate (mach_task_self (), reply); return EINTR; } } |