From d6c7b7b73434638be02b8bed74649e8fbd0b6e7d Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 15 Apr 2011 10:28:42 +0000
Subject: fix

---
 src/monkey/gdbmi_connect.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/monkey')

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)
    {
     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);
-- 
cgit v1.2.3