Function Dune::XT::Common::handle_interrupt¶ void Dune::XT::Common::handle_interrupt(int signal)¶ example signal handler