Function Dune::XT::Common::reset_signal

void Dune::XT::Common::reset_signal(int signal)

reset given signal to default handler