* 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


-- 
To UNSUBSCRIBE, email to debian-hurd-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/1381421302-21954-3-git-send-email-4win...@informatik.uni-hamburg.de

Reply via email to