diff options
| author | Julius Bünger <buenger@mytum.de> | 2018-07-03 17:27:10 +0200 |
|---|---|---|
| committer | Julius Bünger <buenger@mytum.de> | 2018-07-03 21:08:38 +0200 |
| commit | edefc4c42202fd10a48ea9037e3fe04e5ead840d (patch) | |
| tree | 085d59040af096eca20fdf40afa8fdb02fc48661 /src/rps/gnunet-rps-profiler.c | |
| parent | 7653605896fe4485804bdff609a351b6c742f5f6 (diff) | |
| download | gnunet-edefc4c42202fd10a48ea9037e3fe04e5ead840d.tar.gz gnunet-edefc4c42202fd10a48ea9037e3fe04e5ead840d.zip | |
fix rps profiler: mark cancelled task as done
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 16f23e86c..54dc7d65e 100644 --- a/src/rps/gnunet-rps-profiler.c +++ b/src/rps/gnunet-rps-profiler.c | |||
| @@ -888,6 +888,7 @@ shutdown_op (void *cls) | |||
| 888 | if (NULL != post_test_task) | 888 | if (NULL != post_test_task) |
| 889 | { | 889 | { |
| 890 | GNUNET_SCHEDULER_cancel (post_test_task); | 890 | GNUNET_SCHEDULER_cancel (post_test_task); |
| 891 | post_test_task = NULL; | ||
| 891 | } | 892 | } |
| 892 | if (NULL != churn_task) | 893 | if (NULL != churn_task) |
| 893 | { | 894 | { |