rps profiler: proper disconnect from service
authorJulius Bünger <buenger@mytum.de>
Thu, 12 Jul 2018 23:11:32 +0000 (01:11 +0200)
committerJulius Bünger <buenger@mytum.de>
Thu, 12 Jul 2018 23:16:00 +0000 (01:16 +0200)
commitf5164502be55aa48ea4c3b44167e19ac15ba53af
tree725e083a3d7926075ed4facfbaef85029568eb8a
parent4438597b90a7ed009e96aef280fd3be0b1576076
rps profiler: proper disconnect from service
src/rps/gnunet-rps-profiler.c