diff options
| -rw-r--r-- | src/monkey/gnunet-monkey.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/monkey/gnunet-monkey.c b/src/monkey/gnunet-monkey.c index f3dc238c8a..61579817db 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; } |