diff options
| author | Miles Bader <miles@gnu.org> | 1997-02-20 04:23:29 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-02-20 04:23:29 +0000 |
| commit | cdbdf7f12f62eb2e6e0de9ae5726b8d9ed72e47e (patch) | |
| tree | 522e5018299424b0ca2e129874530be56af40467 | |
| parent | 3ce2fd13abc08098f07a6794283533e2dbadc992 (diff) | |
(trivfs_clean_cntl):
Clean up dynamic port classes/buckets.
| -rw-r--r-- | libtrivfs/cntl-clean.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/libtrivfs/cntl-clean.c b/libtrivfs/cntl-clean.c index 4b7a29cd..a010828f 100644 --- a/libtrivfs/cntl-clean.c +++ b/libtrivfs/cntl-clean.c @@ -1,5 +1,5 @@ /* - Copyright (C) 1994, 1996 Free Software Foundation + Copyright (C) 1994, 1996, 1997 Free Software Foundation This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as @@ -27,4 +27,9 @@ trivfs_clean_cntl (void *arg) mach_port_destroy (mach_task_self (), cntl->filesys_id); mach_port_destroy (mach_task_self (), cntl->file_id); mach_port_deallocate (mach_task_self (), cntl->underlying); + + trivfs_remove_control_port_class (cntl->pi.class); + trivfs_remove_port_bucket (cntl->pi.bucket); + trivfs_remove_protid_port_class (cntl->protid_class); + trivfs_remove_port_bucket (cntl->protid_bucket); } |