xmllint: flush stdout before interactive shell input.

This commit is contained in:
Patrick Monnerat 2015-04-17 17:02:59 +02:00 committed by Daniel Veillard
parent 44e49f47e8
commit 11e805d397

View File

@ -809,6 +809,7 @@ xmlShellReadline(char *prompt) {
if (prompt != NULL)
fprintf(stdout, "%s", prompt);
fflush(stdout);
if (!fgets(line_read, 500, stdin))
return(NULL);
line_read[500] = 0;