Use _exit() for hygiene (per Anders Kaseorg)

2012-03-21 17:32:46 -04:00
parent 6842dbf066
commit ad3877626d
1 changed files with 1 additions and 2 deletions
@@ -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 */