version 1.24, 2003/04/25 07:13:55 |
version 1.25, 2003/05/29 17:21:39 |
|
|
onintr(signo) |
onintr(signo) |
int signo; |
int signo; |
{ |
{ |
char *ct; |
char str[1024], *ct; |
|
|
/* XXX signal race */ |
ct = ctime(&buf[0].ut_time); /* XXX signal race */ |
ct = ctime(&buf[0].ut_time); |
snprintf(str, sizeof str, "\ninterrupted %10.10s %8.8s \n", |
printf("\ninterrupted %10.10s %8.8s \n", ct, ct + 11); |
ct, ct + 11); |
|
write(STDOUT_FILENO, str, strlen(str)); |
if (signo == SIGINT) |
if (signo == SIGINT) |
exit(1); |
_exit(1); |
(void)fflush(stdout); /* fix required for rsh */ |
|
} |
} |
|
|
void |
void |