5 static void waitpause()
16 fprintf(stderr, "PAUSE ");
20 fprintf(stderr, " statement executed\n");
21 if( isatty(fileno(stdin)) )
23 fprintf(stderr, "To resume execution, type go. Any other input will terminate job.\n");
25 if( getchar()!='g' || getchar()!='o' || getchar()!='\n' )
27 fprintf(stderr, "STOP\n");
34 fprintf(stderr, "To resume execution, execute a kill -%d %d command\n",
36 signal(PAUSESIG, waitpause);
40 fprintf(stderr, "Execution resumes after PAUSE.\n");