Probably not necessary, but good practice.

diff --git a/lib/hostip.c b/lib/hostip.c
index 791ee03..9d0013f 100644 (file)
--- a/lib/hostip.c
+++ b/lib/hostip.c
@@ -89,6 +89,7 @@ void Curl_global_host_cache_dtor(void)
 {
   if (host_cache_initialized) {
     curl_hash_clean(&hostname_cache);
+    host_cache_initialized = 0;
   }
 }