github-repos/wget
1
0
Fork 0
mirror of https://github.com/mirror/wget.git synced 2025-03-29 05:20:18 +08:00
Code Issues Packages Projects Releases Wiki Activity

* src/host.c (wait_ares): Free ptimer

Browse Source
This commit is contained in:
Tim Rühsen 2018-04-16 11:58:18 +02:00
parent 99a7039def
commit 7963260e76
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/host.c
View File

@ -731,6 +731,8 @@ wait_ares (ares_channel channel)
else else
ares_process (channel, &read_fds, &write_fds); ares_process (channel, &read_fds, &write_fds);
} }
if (timer)
timer = ptimer_destroy (timer);
} }
static void static void