do fflush instead of readline when readline is disabled.

- fixes issue when output is getting buffered and is not sent until message is received or program has stopped
 - I used this answer http://stackoverflow.com/a/1716621/74167 for solution
This commit is contained in:
JLarky 2015-06-29 19:52:17 -07:00
parent be1ac1f456
commit 708b2ee432

View File

@ -560,7 +560,10 @@ void set_prompt (const char *s) {
}
void update_prompt (void) {
if (readline_disabled) { return; }
if (readline_disabled) {
fflush (stdout);
return;
}
if (read_one_string) { return; }
print_start ();
set_prompt (get_default_prompt ());