diff options
-rw-r--r-- | src/rps/test_rps.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/rps/test_rps.c b/src/rps/test_rps.c index 72dc90b17..63a6007ae 100644 --- a/src/rps/test_rps.c +++ b/src/rps/test_rps.c | |||
@@ -806,7 +806,6 @@ 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(); | ||
810 | } | 809 | } |
811 | 810 | ||
812 | 811 | ||