Ensure we always free DNS resources when deleting a process
commitdf91173405f97075e939fa7072f941d7d59c785d
authorLars Ingebrigtsen <larsi@gnus.org>
Tue, 16 Feb 2016 02:23:15 +0000 (16 13:23 +1100)
committerLars Ingebrigtsen <larsi@gnus.org>
Tue, 16 Feb 2016 02:23:15 +0000 (16 13:23 +1100)
tree3afa08b17b7f77e9d19a5393b99e50119daaf51f
parente4324bdf565fd934afa7558d4356f040d3a66c6e
Ensure we always free DNS resources when deleting a process

* src/process.c (free_dns_request): Factor out into own function.
(Fdelete_process): When deleting a process, free any DNS
structures associated with it.
(check_for_dns): Always free all DNS resources.
src/process.c