wrench::ServiceHasTerminatedMessage

class ServiceHasTerminatedMessage : public wrench::ServiceTerminationDetectorMessage

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

Public Functions

explicit ServiceHasTerminatedMessage(std::shared_ptr<Service> service, int exit_code)

Constructor.

Parameters:

• service – the service that has terminated

• exit_code – the service exit_code

Public Members

int exit_code

The exit code of the service’s main.

std::shared_ptr<Service> service

The service that has terminated.