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