From ad3877626d85db10324d9906d086845cc0603b0d Mon Sep 17 00:00:00 2001
From: Keith Winstein <keithw@mit.edu>
Date: Wed, 21 Mar 2012 17:32:46 -0400
Subject: [PATCH] Use _exit() for hygiene (per Anders Kaseorg)

---
 src/frontend/mosh-server.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/frontend/mosh-server.cc b/src/frontend/mosh-server.cc
index 55fa389..0a4e206 100644
--- a/src/frontend/mosh-server.cc
+++ b/src/frontend/mosh-server.cc
@@ -318,9 +318,8 @@ int run_server( const char *desired_ip, const char *desired_port,
     
     if ( execvp( executable.c_str(), command ) < 0 ) {
       perror( "execvp" );
-      exit( 1 );
+      _exit( 1 );
     }
-    exit( 0 );
   } else {
     /* parent */