[PATCH 3/5] console-client: replace function epilogue with console_exit

[Justus Winter <4winter@informatik.uni-hamburg.de>]

* console-client/console.c (main): Replace epilogue with console_exit.
---
 console-client/console.c |    3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/console-client/console.c b/console-client/console.c
index a9f8368..4046cf3 100644
--- a/console-client/console.c
+++ b/console-client/console.c
@@ -745,6 +745,5 @@ main (int argc, char *argv[])
   cons_server_loop ();
 
   /* Never reached.  */
-  driver_fini ();
-  return 0;
+  console_exit ();
 }
-- 
1.7.10.4