diff options
| -rw-r--r-- | os/port/exportfs.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/os/port/exportfs.c b/os/port/exportfs.c index aee93b33..f82e0346 100644 --- a/os/port/exportfs.c +++ b/os/port/exportfs.c @@ -625,8 +625,6 @@ exslave(void*) notkilled(); exfreeq(q); } - print("exslave %ld shut down", up->pid); /* not reached */ - pexit("exslave shut down", 0); } static void |