mirror of
https://github.com/curl/curl.git
synced 2026-07-02 22:07:17 +03:00
Probably not necessary, but good practice.
This commit is contained in:
parent
8d7f402efb
commit
bd878756fc
1 changed files with 1 additions and 0 deletions
|
|
@ -89,6 +89,7 @@ void Curl_global_host_cache_dtor(void)
|
|||
{
|
||||
if (host_cache_initialized) {
|
||||
curl_hash_clean(&hostname_cache);
|
||||
host_cache_initialized = 0;
|
||||
}
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue