#include <signal.h>
#include <sys/wait.h>
-simgrid::mc::CheckerSide::~CheckerSide()
+namespace simgrid {
+namespace mc {
+
+CheckerSide::~CheckerSide()
{
if (socket_event_ != nullptr)
event_free(socket_event_);
event_base_free(base_);
}
-void simgrid::mc::CheckerSide::start(int socket, void (*handler)(int, short, void*))
+void CheckerSide::start(void (*handler)(int, short, void*))
{
base_ = event_base_new();
- socket_event_ = event_new(base_, socket, EV_READ | EV_PERSIST, handler, this);
+ socket_event_ = event_new(base_, get_channel().get_socket(), EV_READ | EV_PERSIST, handler, this);
event_add(socket_event_, NULL);
signal_event_ = event_new(base_, SIGCHLD, EV_SIGNAL | EV_PERSIST, handler, this);
event_add(signal_event_, NULL);
}
-void simgrid::mc::CheckerSide::dispatch()
+void CheckerSide::dispatch()
{
event_base_dispatch(base_);
}
-void simgrid::mc::CheckerSide::break_loop()
+void CheckerSide::break_loop()
{
event_base_loopbreak(base_);
}
+
+} // namespace mc
+} // namespace simgrid