diff options
Diffstat (limited to 'src/rps/gnunet-rps-profiler.c')
-rw-r--r-- | src/rps/gnunet-rps-profiler.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rps/gnunet-rps-profiler.c b/src/rps/gnunet-rps-profiler.c index 5ccf1017e..35a77e1bb 100644 --- a/src/rps/gnunet-rps-profiler.c +++ b/src/rps/gnunet-rps-profiler.c | |||
@@ -1102,6 +1102,7 @@ shutdown_op (void *cls) | |||
1102 | { | 1102 | { |
1103 | clean_peer (i); | 1103 | clean_peer (i); |
1104 | } | 1104 | } |
1105 | close_all_files(); | ||
1105 | } | 1106 | } |
1106 | 1107 | ||
1107 | static void | 1108 | static void |