diff options
Diffstat (limited to 'src/monkey/test_gnunet_monkey.c')
-rw-r--r-- | src/monkey/test_gnunet_monkey.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/monkey/test_gnunet_monkey.c b/src/monkey/test_gnunet_monkey.c index ba832f137..d1d4155d0 100644 --- a/src/monkey/test_gnunet_monkey.c +++ b/src/monkey/test_gnunet_monkey.c | |||
@@ -42,9 +42,12 @@ | |||
42 | static int | 42 | static int |
43 | check () | 43 | check () |
44 | { | 44 | { |
45 | GNUNET_OS_start_process (NULL, NULL, "gnunet-monkey", | 45 | GNUNET_OS_process_close (GNUNET_OS_start_process (NULL, NULL, |
46 | "gnunet-monkey", | 46 | "gnunet-monkey", |
47 | "./bug_null_pointer_exception", NULL); | 47 | "gnunet-monkey", |
48 | "./bug_null_pointer_exception", | ||
49 | NULL)); | ||
50 | |||
48 | return 0; | 51 | return 0; |
49 | } | 52 | } |
50 | 53 | ||