fix readline interrupts.

This commit is contained in:
Vítor Santos Costa 2013-01-19 09:59:31 +00:00
parent c03b5095a3
commit 0e262df2ee

View File

@ -219,10 +219,10 @@ Yap_GetCharForSIGINT(void)
{
int ch;
/* ask for a new line */
fprintf(stderr, "Action (h for help): ");
ch = getc(stdin);
Sfprintf(Serror, "\nAction (h for help): ");
ch = Sgetchar();
/* first process up to end of line */
while ((fgetc(stdin)) != '\n');
while ((Sfgetc(Sinput)) != '\n');
newline = TRUE;
return ch;
}