From c802e7d908d82fd18833de63a417a55c69b5acd7 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 21 Dec 2010 14:05:40 +0000
Subject: [PATCH] check

---
 src/monkey/gnunet-monkey.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/monkey/gnunet-monkey.c b/src/monkey/gnunet-monkey.c
index f3dc238c8..61579817d 100644
--- 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;
    }
-- 
2.25.1