Flush the output buffer in jerry_port_print_buffer

rtakacs · rtakacs · commit de49ac9a8083 · 2023-01-03T16:15:15.000+01:00
JerryScript-DCO-1.0-Signed-off-by: Roland Takacs rtakacs@inf.u-szeged.hu
diff --git a/jerry-port/common/jerry-port-io.c b/jerry-port/common/jerry-port-io.c
@@ -50,6 +50,8 @@ jerry_port_print_buffer (const jerry_char_t *buffer_p, /**< string buffer */
   {
     jerry_port_print_byte (buffer_p[i]);
   }
+
+  fflush (stdout);
 } /* jerry_port_print_byte */
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -50,6 +50,8 @@ jerry_port_print_buffer (const jerry_char_t buffer_p, /< string buffer /`
`50`	`50`	`{`
`51`	`51`	`jerry_port_print_byte (buffer_p[i]);`
`52`	`52`	`}`
	`53`	`+`
	`54`	`+ fflush (stdout);`
`53`	`55`	`} /* jerry_port_print_byte */`
`54`	`56`
`55`	`57`	`/**`