218   PetscReal sleeptime = 0;  in PetscAttachDebugger()  local
437     sleeptime = 10; /* default to sleep waiting for debugger */  in PetscAttachDebugger()
438     PetscCall(PetscOptionsGetReal(NULL, NULL, "-debugger_pause", &sleeptime, NULL));  in PetscAttachDebugger()
439     if (sleeptime < 0) sleeptime = -sleeptime;  in PetscAttachDebugger()
454       int left = sleeptime;  in PetscAttachDebugger()
458     PetscCall(PetscSleep(sleeptime));  in PetscAttachDebugger()
550   PetscInt       sleeptime = 0;  in PetscStopForDebugger()  local
610 …sleeptime = 25;                                                                         /* default…  in PetscStopForDebugger()
611 …PetscCallContinue(PetscOptionsGetInt(NULL, NULL, "-debugger_pause", &sleeptime, NULL)); /* ignore …  in PetscStopForDebugger()
612   if (sleeptime < 0) sleeptime = -sleeptime;  in PetscStopForDebugger()
628     int left = sleeptime;  in PetscStopForDebugger()
632   PetscCall(PetscSleep(sleeptime));  in PetscStopForDebugger()