rps: close port before disconnecting
authorJulius Bünger <buenger@mytum.de>
Wed, 27 Dec 2017 14:06:30 +0000 (15:06 +0100)
committerJulius Bünger <buenger@mytum.de>
Wed, 27 Dec 2017 14:06:30 +0000 (15:06 +0100)
commitc740c81d864cd6f60e4db22f962d5c9b0947f8a5
treef64abba651c7b707e6b2d28cae772b562e24e9de
parentbbe64bb9304a1335f29895941f00228101f90297
rps: close port before disconnecting
src/rps/gnunet-service-rps.c