diff options
Diffstat (limited to 'src/monkey')
-rw-r--r-- | src/monkey/gdbmi_connect.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/monkey/gdbmi_connect.c b/src/monkey/gdbmi_connect.c index c698a0eca..497878a08 100644 --- a/src/monkey/gdbmi_connect.c +++ b/src/monkey/gdbmi_connect.c | |||
@@ -330,9 +330,9 @@ void mi_send_commands(mi_h *h, const char *file) | |||
330 | { | 330 | { |
331 | if (fgets(b,PATH_MAX,f)) | 331 | if (fgets(b,PATH_MAX,f)) |
332 | { | 332 | { |
333 | //printf("Send: %s\n",b); | 333 | //printf("Send: %s\n",b); |
334 | mi_send(h,b); | 334 | mi_send (h, "%s", b); |
335 | mi_res_simple_done(h); | 335 | mi_res_simple_done(h); |
336 | } | 336 | } |
337 | } | 337 | } |
338 | fclose(f); | 338 | fclose(f); |