close the dns when the user presses ^C
authorPhilipp Tölke <toelke@in.tum.de>
Wed, 27 Jul 2011 07:52:28 +0000 (07:52 +0000)
committerPhilipp Tölke <toelke@in.tum.de>
Wed, 27 Jul 2011 07:52:28 +0000 (07:52 +0000)
commit64dfbc851ed2d2f65b1b04b66e94087f51d5889f
treea8767393fb5aba8d1103411370b113697179d541
parent8d6058c34df98102009ca0a9456da0bcb06d39f2
close the dns when the user presses ^C
src/vpn/gnunet-service-dns.c