diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-02-26 21:56:45 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-02-26 21:56:45 +0000 |
| commit | 21874b92fe9526a850fcab54b16538c9b95c6644 (patch) | |
| tree | 0666834e99a513e8123aa822f620dd41e664b28f /pfinet | |
| parent | a21e3cecc50bd1f7b551e1ab96d816b263c28832 (diff) | |
entered into RCS
Diffstat (limited to 'pfinet')
| -rw-r--r-- | pfinet/misc.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pfinet/misc.c b/pfinet/misc.c index 24058452..1bae1e92 100644 --- a/pfinet/misc.c +++ b/pfinet/misc.c @@ -1,5 +1,5 @@ /* - Copyright (C) 1995 Free Software Foundation, Inc. + Copyright (C) 1995, 1996 Free Software Foundation, Inc. Written by Michael I. Bushnell, p/BSG. This file is part of the GNU Hurd. @@ -75,7 +75,8 @@ begin_using_socket_port (mach_port_t port) void end_using_socket_port (struct sock_user *user) { - ports_port_deref (user); + if (user) + ports_port_deref (user); } struct sock_addr * @@ -87,7 +88,8 @@ begin_using_sockaddr_port (mach_port_t port) void end_using_sockaddr_port (struct sock_addr *addr) { - ports_port_deref (addr); + if (addr) + ports_port_deref (addr); } /* Nothing need be done here. */ |