check

diff --git a/src/monkey/gnunet-monkey.c b/src/monkey/gnunet-monkey.c
index f3dc238c8a606d02314fbf762510c5f98246dab6..61579817dbd2a8776bb393ba5eab6380fe7d421b 100644 (file)
--- a/src/monkey/gnunet-monkey.c
+++ b/src/monkey/gnunet-monkey.c
@@ -96,7 +96,10 @@ int wait_for_stop(mi_h *h)
  if (sr)
    {
     f = gmi_stack_info_frame(h);
-    send_bug_mail(sr, f);
+    if (f != NULL)
+      send_bug_mail(sr, f);
+    else
+      GNUNET_break (0);
     mi_free_stop(sr);
     res = 0;
    }