diff options
author | Justus Winter <justus@gnupg.org> | 2016-04-26 15:43:26 +0200 |
---|---|---|
committer | Justus Winter <justus@gnupg.org> | 2016-04-28 18:46:38 +0200 |
commit | f250b6d8626c9d3ecf0d356dfd786a23ebbf6ca1 (patch) | |
tree | ece9fc459ecf123de109db9f9736a482f0dbea6e /pfinet | |
parent | 57d5c5ca5463d43196393bc5b2d5f379ee749374 (diff) |
Unify and document the way fsids are handled in trivfs translators
* doc/hurd.texi: Clarify what happens if 'trivfs_fsid' is zero.
* login/utmp.c: Leave 'trivfs_fsid' at zero.
* pfinet/main.c: Likewise.
* trans/ifsock.c: Likewise.
* trans/proxy-defpager.c: Likewise.
Diffstat (limited to 'pfinet')
-rw-r--r-- | pfinet/main.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pfinet/main.c b/pfinet/main.c index 4bfa3185..5e4b7494 100644 --- a/pfinet/main.c +++ b/pfinet/main.c @@ -283,7 +283,6 @@ main (int argc, pfinet_bucket = ports_create_bucket (); addrport_class = ports_create_class (clean_addrport, 0); socketport_class = ports_create_class (clean_socketport, 0); - trivfs_fsid = getpid (); mach_port_allocate (mach_task_self (), MACH_PORT_RIGHT_RECEIVE, &fsys_identity); |