[vlc-devel] [PATCH] linux: vlc_getaddrinfo_i11e: add missing vlc_sem_destroy

[Filip Roséen]

---
 src/linux/getaddrinfo.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/linux/getaddrinfo.c b/src/linux/getaddrinfo.c
index 035a1041cb..1f716ce82b 100644
--- a/src/linux/getaddrinfo.c
+++ b/src/linux/getaddrinfo.c
@@ -90,5 +90,6 @@ int vlc_getaddrinfo_i11e(const char *name, unsigned port,
     if (val == 0)
         *res = req.ar_result;
 
+    vlc_sem_destroy(&done);
     return val;
 }
-- 
2.13.0