static void do_pause (void) { char buff[4]; estr_write ("To resume execution, type go. " "Other input will terminate the job.\n"); fgets(buff, 4, stdin); if (strncmp(buff, "go\n", 3) != 0) stop_string ('\0', 0); estr_write ("RESUMED\n"); }
int quit_callback (int argc, char *argv[]) { stop_string(); return 0; }