From a13b7f77e9e59ec96f545282c50293b4cbab33a9 Mon Sep 17 00:00:00 2001
From: Elmar Melcher <elmar@dsc.ufcg.edu.br>
Date: Thu, 8 Jul 2021 20:43:06 -0300
Subject: [PATCH] kill program if socket creation fails

---
 spike_main/spike.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spike_main/spike.cc b/spike_main/spike.cc
index 13bead5d..b7a1bdfe 100644
--- 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