isdigit            91 dmtcp_command.cpp                isdigit(argv[0][2])) { // else if -p0, for example
isdigit           111 dmtcp_command.cpp 	  if (isdigit(cmd[1])) { // if -i5, for example
isdigit          1796 dmtcp_coordinator.cpp                isdigit(argv[0][2])) { // else if -i5, for example
isdigit          1803 dmtcp_coordinator.cpp                isdigit(argv[0][2])) { // else if -p0, for example
isdigit           259 dmtcp_launch.cpp                isdigit(argv[0][2])) { // else if -i5, for example
isdigit           269 dmtcp_launch.cpp                isdigit(argv[0][2])) { // else if -p0, for example
isdigit           650 dmtcp_restart.cpp                isdigit(argv[0][2])) { // else if -i5, for example
isdigit           660 dmtcp_restart.cpp                isdigit(argv[0][2])) { // else if -p0, for example
isdigit            76 plugin/pid/pidwrappers.cpp   if (virtPpidstr[0] != ':' && !isdigit(virtPpidstr[1])) {
isdigit            84 plugin/pid/pidwrappers.cpp   if (realPpidstr[0] != ':' && !isdigit(realPpidstr[1])) {