mpi::monitor::request_emergency_stop

#include <mpi/monitor.hpp>

Synopsis

void request_emergency_stop ()