fix

diff --git a/src/monkey/gdbmi_connect.c b/src/monkey/gdbmi_connect.c
index c698a0eca087f5c38146b99c4034af9fe1f860e9..497878a086fc4ef6d8a39d2a66da86d4f3e05926 100644 (file)
--- 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)
    {
     if (fgets(b,PATH_MAX,f))
       {
-       //printf("Send: %s\n",b);
-       mi_send(h,b);
-       mi_res_simple_done(h);
+       //printf("Send: %s\n",b);
+       mi_send (h, "%s", b);
+       mi_res_simple_done(h);
       }
    }
  fclose(f);