wrench::ServiceHasCrashedMessage Class Reference
A message sent by the ServiceTerminationDetector to notify some listener that the monitored service has crashed. More...
#include <ServiceTerminationDetectorMessage.h>
Inheritance diagram for wrench::ServiceHasCrashedMessage:
Public Member Functions | |
ServiceHasCrashedMessage (std::shared_ptr< Service > service) | |
Constructor. More... | |
Public Attributes | |
std::shared_ptr< Service > | service |
The service that has crashed. | |
Additional Inherited Members |
Detailed Description
A message sent by the ServiceTerminationDetector to notify some listener that the monitored service has crashed.
Constructor & Destructor Documentation
◆ ServiceHasCrashedMessage()
|
explicit |
Constructor.
- Parameters
-
service the service that has crashed
The documentation for this class was generated from the following files:
- /home/wrench/wrench/include/wrench/services/helpers/ServiceTerminationDetectorMessage.h
- /home/wrench/wrench/src/wrench/helper_services/service_termination_detector/ServiceTerminationDetectorMessage.cpp