oldNumRestarts    109 dmtcpplugin.cpp   int oldNumRestarts    = numRestarts;
oldNumRestarts    115 dmtcpplugin.cpp     while(oldNumRestarts==numRestarts && oldNumCheckpoints==numCheckpoints){
oldNumRestarts    122 dmtcpplugin.cpp     rv = (oldNumRestarts==numRestarts ? DMTCP_AFTER_CHECKPOINT : DMTCP_AFTER_RESTART);