From 9b69550938c0be950ce99b7ac417e23372c3982f Mon Sep 17 00:00:00 2001
From: Roman Sokolkov <rsokolkov@gmail.com>
Date: Thu, 5 Dec 2024 09:40:09 +0400
Subject: [PATCH] Remove unnecessary signal handlers

---
 src/reach_study.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/reach_study.cpp b/src/reach_study.cpp
index 40f476d..638eeb5 100644
--- a/src/reach_study.cpp
+++ b/src/reach_study.cpp
@@ -22,7 +22,6 @@
 #include <boost_plugin_loader/plugin_loader.hpp>
 #include <numeric>
 #include <random>
-#include <signal.h>
 #include <thread>
 #include <yaml-cpp/yaml.h>
 
@@ -374,10 +373,6 @@ void runReachStudy(const YAML::Node& config, const std::string& config_name, con
   display->showEnvironment();
   display->showResults(db.results.back());
 
-  auto handleSignal = [](int /*sig*/) { throw std::runtime_error("Reach study terminated"); };
-  signal(SIGINT, handleSignal);
-  signal(SIGTERM, handleSignal);
-
   if (wait_after_completion)
   {
     logger->print("Press enter to quit");