RESTARTER_EVENT_TYPE_DISABLE
case RESTARTER_EVENT_TYPE_DISABLE:
case RESTARTER_EVENT_TYPE_DISABLE:
case RESTARTER_EVENT_TYPE_DISABLE:
if (event == RESTARTER_EVENT_TYPE_DISABLE ||
case RESTARTER_EVENT_TYPE_DISABLE:
case RESTARTER_EVENT_TYPE_DISABLE:
vertex_send_event(vertex, RESTARTER_EVENT_TYPE_DISABLE);
case RESTARTER_EVENT_TYPE_DISABLE:
e == RESTARTER_EVENT_TYPE_DISABLE ||
case RESTARTER_EVENT_TYPE_DISABLE:
vertex_send_event(v, RESTARTER_EVENT_TYPE_DISABLE);
vertex_send_event(v, RESTARTER_EVENT_TYPE_DISABLE);