fix rps profiler: mark handle unusable after closing it
authorJulius Bünger <buenger@mytum.de>
Tue, 3 Jul 2018 19:09:47 +0000 (21:09 +0200)
committerJulius Bünger <buenger@mytum.de>
Tue, 3 Jul 2018 19:09:47 +0000 (21:09 +0200)
commit7940449e54a2716d69aed0fd01953ef6204b0229
tree0df68c092947a8a97aa0167e61f472157cba3d78
parentedefc4c42202fd10a48ea9037e3fe04e5ead840d
fix rps profiler: mark handle unusable after closing it
src/rps/gnunet-rps-profiler.c