Commit ec62dac8 authored by gbalduzz's avatar gbalduzz
Browse files

handle running out of time on summit.

parent 6c86b14e

src/util/signal_handler.cpp

+1 −0
Original line number Diff line number Diff line
@@ -26,6 +26,7 @@ void SignalHandler::init(bool verbose) { 
  signal(SIGILL, handle);

  signal(SIGSEGV, handle);

  signal(SIGTERM, handle);

  signal(SIGUSR2, handle); // Summit out of time signal.

}



void SignalHandler::handle(int signum) {