rps service: don't send 'ping' twice
authorJulius Bünger <buenger@mytum.de>
Thu, 26 Jul 2018 14:52:36 +0000 (16:52 +0200)
committerJulius Bünger <buenger@mytum.de>
Thu, 26 Jul 2018 14:52:36 +0000 (16:52 +0200)
commit3215ab6ef18080f74362be7cee871179166a9f56
treea69b07f194f4e5d55b11ec11627ab7f0e6c2ab39
parent5794e80239687f6fe88311bb7156d105d30170de
rps service: don't send 'ping' twice
src/rps/gnunet-service-rps.c