Function Dune::XT::Common::handle_interrupt

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

example signal handler