class wrench::ServiceTerminationDetector : public wrench::Service
A service that immediately detects when some service crashes and then notifies some other service of the crash.
host_on_which_to_run – the service’s host
service_to_monitor – which service to monitor
mailbox_to_notify – which mailbox to notify
notify_on_crash – whether to send a crash notification (in case of non-clean termination)
notify_on_termination – whether to send a termination notification (in case of clean termination)