From 64dfbc851ed2d2f65b1b04b66e94087f51d5889f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Philipp=20T=C3=B6lke?= Date: Wed, 27 Jul 2011 07:52:28 +0000 Subject: [PATCH] close the dns when the user presses ^C --- src/vpn/gnunet-service-dns.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vpn/gnunet-service-dns.c b/src/vpn/gnunet-service-dns.c index bfbcbca23..111dd5293 100644 --- a/src/vpn/gnunet-service-dns.c +++ b/src/vpn/gnunet-service-dns.c @@ -1060,6 +1060,7 @@ cleanup_task (void *cls __attribute__((unused)), unhijack(dnsoutport); GNUNET_DHT_disconnect(dht); + GNUNET_MESH_disconnect(mesh_handle); } /** -- 2.25.1