doAbort           706 dmtcp_restart.cpp   bool doAbort = false;
doAbort           717 dmtcp_restart.cpp       doAbort = true;
doAbort           722 dmtcp_restart.cpp       doAbort = true;
doAbort           731 dmtcp_restart.cpp       doAbort = true;
doAbort           733 dmtcp_restart.cpp     if (doAbort) {