diff options
Diffstat (limited to 'src/rps/test_rps.c')
-rw-r--r-- | src/rps/test_rps.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rps/test_rps.c b/src/rps/test_rps.c index 63a6007ae..72dc90b17 100644 --- a/src/rps/test_rps.c +++ b/src/rps/test_rps.c | |||
@@ -806,6 +806,7 @@ shutdown_op (void *cls) | |||
806 | GNUNET_TESTBED_operation_done (rps_peers[i].op); | 806 | GNUNET_TESTBED_operation_done (rps_peers[i].op); |
807 | } | 807 | } |
808 | } | 808 | } |
809 | close_all_files(); | ||
809 | } | 810 | } |
810 | 811 | ||
811 | 812 | ||