kill program if socket creation fails

5 years ago · a13b7f77e9
1 changed files with 1 additions and 0 deletions
--- a/spike_main/spike.cc
+++ b/spike_main/spike.cc
@ -421,6 +421,7 @@ int main(int argc, char** argv)
     catch (std::exception& e)
     {
       std::cerr << e.what() << std::endl;
+       exit(-1);
     }
  }
 #endif