| 30 |
|
|
| 31 |
|
char *outdev = NULL; /* output device name */ |
| 32 |
|
|
| 33 |
+ |
int readinp = 0; /* read commands from stdin */ |
| 34 |
+ |
|
| 35 |
|
time_t starttime; /* time we got started */ |
| 36 |
|
time_t endtime; /* time we should end by */ |
| 37 |
|
time_t reporttime; /* time for next report */ |
| 72 |
|
case 'f': /* force overwrite */ |
| 73 |
|
force++; |
| 74 |
|
break; |
| 75 |
+ |
case 'i': /* read input from stdin */ |
| 76 |
+ |
readinp++; |
| 77 |
+ |
break; |
| 78 |
|
case 'n': /* compute processes */ |
| 79 |
|
if (i >= argc-2) |
| 80 |
|
goto userr; |
| 192 |
|
{ |
| 193 |
|
extern int global_packet(); |
| 194 |
|
register int i; |
| 195 |
+ |
/* close holodeck on exec() */ |
| 196 |
+ |
fcntl(hdlist[0]->fd, F_SETFD, FD_CLOEXEC); |
| 197 |
|
|
| 198 |
|
if (outdev != NULL) /* open output device */ |
| 199 |
|
disp_open(outdev); |