fix rps profiler: mark operation as done on shutdown
authorJulius Bünger <buenger@mytum.de>
Thu, 5 Jul 2018 15:09:06 +0000 (17:09 +0200)
committerJulius Bünger <buenger@mytum.de>
Thu, 5 Jul 2018 15:10:21 +0000 (17:10 +0200)
commit79b600acfc7cbcd20cdaac04be7716c8c893ac4e
treec54b023f9c8149f8616f58057383f147604fa209
parent08c8ffb79f1a1b35ed6271591885115838b17074
fix rps profiler: mark operation as done on shutdown
src/rps/gnunet-rps-profiler.c