wrench::ServiceTerminationDetector
-
class ServiceTerminationDetector : public wrench::Service
A service that immediately detects when some service crashes and then notifies some other service of the crash.
Public Functions
Constructor.
- Parameters:
host_on_which_to_run – the service’s host
service_to_monitor – which service to monitor
commport_to_notify – which commport 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)