SignalHandler.cpp File Reference

#include "SignalHandler.h"
#include <csignal>
#include <iostream>

Include dependency graph for SignalHandler.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::utility
namespace	storm::utility::resources

Functions
void	storm::utility::resources::signalHandler (int signal)
	Signal handler for aborts, etc.
void	storm::utility::resources::installSignalHandler (int maximalWaitTime)
	Register some signal handlers to detect and correctly handle abortion (due to timeout for example).

Variables
int	storm::utility::resources::maxWaitTime = 0