Move jerry_debugger_send_output to public API

The function jerry_debugger_send_output wasn't placed correctly in the public API. JerryScript-DCO-1.0-Signed-off-by: Daniel Balla dballa@inf.u-szeged.hu
2017-09-06 12:31:03 +02:00
parent 01dd2f0b2a
commit 7ccbe97b79
4 changed files with 22 additions and 21 deletions
@@ -45,6 +45,7 @@ void jerry_debugger_stop (void);
 void jerry_debugger_continue (void);
 void jerry_debugger_stop_at_breakpoint (bool enable_stop_at_breakpoint);
 jerry_debugger_wait_and_run_type_t jerry_debugger_wait_and_run_client_source (jerry_value_t *return_value);
+void jerry_debugger_send_output (jerry_char_t buffer[], jerry_size_t str_size, uint8_t type);

 void jerry_debugger_init (uint16_t port);
 void jerry_debugger_cleanup (void);