DMT_NAME_SERVICE_WORKER  662 coordinatorapi.cpp       DmtcpMessage m(DMT_NAME_SERVICE_WORKER);
DMT_NAME_SERVICE_WORKER  708 coordinatorapi.cpp       DmtcpMessage m(DMT_NAME_SERVICE_WORKER);
DMT_NAME_SERVICE_WORKER  979 dmtcp_coordinator.cpp   if (hello_remote.type == DMT_NAME_SERVICE_WORKER) {
DMT_NAME_SERVICE_WORKER  146 dmtcpmessagetypes.cpp       OSHIFTPRINTF ( DMT_NAME_SERVICE_WORKER )
DMT_NAME_SERVICE_WORKER   38 dmtcpmessagetypes.h     DMT_NAME_SERVICE_WORKER,