(struct sock): Make the id field a receive right, not an int.

1 files changed, 4 insertions, 3 deletions

diff --git a/pflocal/sock.h b/pflocal/sock.h
index 2b1608d6..f09e5ca8 100644
--- a/pflocal/sock.h
+++ b/pflocal/sock.h
@@ -1,6 +1,6 @@
 /* Internal sockets
 
-   Copyright (C) 1995 Free Software Foundation, Inc.
+   Copyright (C) 1995, 1996 Free Software Foundation, Inc.
 
    Written by Miles Bader <miles@gnu.ai.mit.edu>
 
@@ -53,8 +53,9 @@ struct sock
   /* FLAGS from SOCK_*, below.  */
   unsigned flags;
 
-  /* An identifying number for the socket.  */
-  unsigned id;
+  /* A receive right for this socket's id ports.  */
+  mach_port_t id;
+
   /* Last time the socket got frobbed.  */
   time_value_t change_time;