DMT_KILL_PEER     500 coordinatorapi.cpp   if (msg.type == DMT_KILL_PEER) {
DMT_KILL_PEER     586 dmtcp_coordinator.cpp     broadcastMessage ( DMT_KILL_PEER );
DMT_KILL_PEER     601 dmtcp_coordinator.cpp     broadcastMessage ( DMT_KILL_PEER );
DMT_KILL_PEER     687 dmtcp_coordinator.cpp       broadcastMessage(DMT_KILL_PEER);
DMT_KILL_PEER     724 dmtcp_coordinator.cpp       broadcastMessage(DMT_KILL_PEER);
DMT_KILL_PEER    1036 dmtcp_coordinator.cpp     msg.type = DMT_KILL_PEER;
DMT_KILL_PEER    1320 dmtcp_coordinator.cpp   if (msg.type == DMT_KILL_PEER && clients.size() > 0) {
DMT_KILL_PEER     177 dmtcpmessagetypes.cpp       OSHIFTPRINTF ( DMT_KILL_PEER )
DMT_KILL_PEER      68 dmtcpmessagetypes.h     DMT_KILL_PEER,           // send kill message to peer
DMT_KILL_PEER     476 dmtcpworker.cpp   if (msg.type == DMT_KILL_PEER) {