Skip to content

Commit

Permalink
Remove unnecessary signal handlers
Browse files Browse the repository at this point in the history
  • Loading branch information
r7vme committed Dec 5, 2024
1 parent 5cb38a1 commit 9b69550
Showing 1 changed file with 0 additions and 5 deletions.
5 changes: 0 additions & 5 deletions src/reach_study.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -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>

Expand Down Expand Up @@ -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");
Expand Down

0 comments on commit 9b69550

Please sign in to comment.