version 1.89, 2014/07/11 18:19:45 |
version 1.90, 2014/07/14 05:54:12 |
|
|
void |
void |
intr(void) |
intr(void) |
{ |
{ |
|
int save_errno = errno; |
|
|
|
write(fileno(ttyout), "\n\r", 2); |
alarmtimer(0); |
alarmtimer(0); |
|
|
|
errno = save_errno; |
longjmp(toplevel, 1); |
longjmp(toplevel, 1); |
} |
} |
|
|
|
|
const char *buf; |
const char *buf; |
cursor_pos = NULL; |
cursor_pos = NULL; |
|
|
if ((buf = el_gets(el, &num)) == NULL || num == 0) |
if ((buf = el_gets(el, &num)) == NULL || num == 0) { |
|
putc('\n', ttyout); |
|
fflush(ttyout); |
quit(0, 0); |
quit(0, 0); |
|
} |
if (buf[--num] == '\n') { |
if (buf[--num] == '\n') { |
if (num == 0) |
if (num == 0) |
break; |
break; |