diff options
| author | Julius Bünger <buenger@mytum.de> | 2018-07-03 21:09:47 +0200 |
|---|---|---|
| committer | Julius Bünger <buenger@mytum.de> | 2018-07-03 21:09:47 +0200 |
| commit | 7940449e54a2716d69aed0fd01953ef6204b0229 (patch) | |
| tree | 0df68c092947a8a97aa0167e61f472157cba3d78 /src/rps/gnunet-rps-profiler.c | |
| parent | edefc4c42202fd10a48ea9037e3fe04e5ead840d (diff) | |
| download | gnunet-7940449e54a2716d69aed0fd01953ef6204b0229.tar.gz gnunet-7940449e54a2716d69aed0fd01953ef6204b0229.zip | |
fix rps profiler: mark handle unusable after closing it
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 54dc7d65e..f75f9794f 100644 --- a/src/rps/gnunet-rps-profiler.c +++ b/src/rps/gnunet-rps-profiler.c | |||
| @@ -900,6 +900,7 @@ shutdown_op (void *cls) | |||
| 900 | if (NULL != rps_peers[i].rps_handle) | 900 | if (NULL != rps_peers[i].rps_handle) |
| 901 | { | 901 | { |
| 902 | GNUNET_RPS_disconnect (rps_peers[i].rps_handle); | 902 | GNUNET_RPS_disconnect (rps_peers[i].rps_handle); |
| 903 | rps_peers[i].rps_handle = NULL; | ||
| 903 | } | 904 | } |
| 904 | if (NULL != rps_peers[i].op) | 905 | if (NULL != rps_peers[i].op) |
| 905 | { | 906 | { |