diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-03-20 18:41:43 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-20 18:41:43 +0000 |
| commit | c8f645deb2eb00d721fe17344dd327bde5701b4a (patch) | |
| tree | 6c31afe5360e68ead23f7720716986c5dbb63864 /init/init.c | |
| parent | 06bc6d144dc7e35442c51fb1e2480e5e062bfce9 (diff) | |
(ports_destroy_right): Don't do anything if port has already been
destroyed.
Diffstat (limited to 'init/init.c')
0 files changed, 0 insertions, 0 deletions