wrench::ServiceHasCrashedMessage

class ServiceHasCrashedMessage : public wrench::ServiceTerminationDetectorMessage

A message sent by the ServiceTerminationDetector to notify some listener that the monitored service has crashed.

Public Functions

explicit ServiceHasCrashedMessage(std::shared_ptr<Service> service)

Constructor.

Parameters:

service – the service that has crashed

Public Members

std::shared_ptr<Service> service

The service that has crashed.