home *** CD-ROM | disk | FTP | other *** search
- #include "stdio.h"
- #include "f2c.h"
- #define PAUSESIG 15
-
- static waitpause()
- {
- return;
- }
-
- VOID s_paus(s, n)
- char *s;
- long int n;
- {
- int i;
-
- fprintf(stderr, "PAUSE ");
- if(n > 0)
- for(i = 0; i<n ; ++i)
- putc(*s++, stderr);
- fprintf(stderr, " statement executed\n");
- if( isatty(fileno(stdin)) )
- {
- fprintf(stderr, "To resume execution, type go. Any other input will terminate job.\n");
- fflush(stderr);
- if( getchar()!='g' || getchar()!='o' || getchar()!='\n' )
- {
- fprintf(stderr, "STOP\n");
- f_exit();
- exit(0);
- }
- }
- else
- {
- fprintf(stderr, "To resume execution, execute a kill -%d %d command\n",
- PAUSESIG, getpid() );
- signal(PAUSESIG, waitpause);
- fflush(stderr);
- pause();
- }
- fprintf(stderr, "Execution resumes after PAUSE.\n");
- }
-