handle return value, kind-of

diff --git a/src/monkey/gdbmi_connect.c b/src/monkey/gdbmi_connect.c
index 497878a086fc4ef6d8a39d2a66da86d4f3e05926..7ccae081af7146ad55414b21f47c4e9a63765239 100644 (file)
--- a/src/monkey/gdbmi_connect.c
+++ b/src/monkey/gdbmi_connect.c
@@ -555,11 +555,18 @@ int mi_send(mi_h *h, const char *format, ...)
  va_start(argptr,format);
  ret=vasprintf(&str,format,argptr);
  va_end(argptr);
- fputs(str,h->to);
- fflush(h->to);
- if (h->to_gdb_echo)
-    h->to_gdb_echo(str,h->to_gdb_echo_data);
- free(str);
+ if (-1 != ret)
+   {
+     fputs(str,h->to);
+     fflush(h->to);
+     if (h->to_gdb_echo)
+       h->to_gdb_echo(str,h->to_gdb_echo_data);
+     free(str);
+   }
+ else
+   {
+     abort ();
+   }
 
  return ret;
 }