Function Dune::XT::Common::reset_signal¶
Function Dune::XT::Common::reset_signal¶
-
void Dune::XT::Common::reset_signal(int signal)¶
reset given signal to default handler
Dune::XT::Common::reset_signal¶Dune::XT::Common::reset_signal¶reset given signal to default handler