diff options
| -rw-r--r-- | console-client/console.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/console-client/console.c b/console-client/console.c index ed4ca8d2..2fb2fbeb 100644 --- a/console-client/console.c +++ b/console-client/console.c @@ -746,6 +746,5 @@ main (int argc, char *argv[]) cons_server_loop (); /* Never reached. */ - driver_fini (); - return 0; + console_exit (); } |