diff --git a/setup/plugins_mirror.py b/setup/plugins_mirror.py
index b5aeec58f9..8fd547ed95 100644
--- a/setup/plugins_mirror.py
+++ b/setup/plugins_mirror.py
@@ -343,7 +343,8 @@ def fetch_plugins(old_index):
     ans = {}
     pool = ThreadPool(processes=10)
     entries = tuple(parse_index())
-    result = pool.map(partial(parallel_fetch, old_index), entries)
+    with closing(pool):
+        result = pool.map(partial(parallel_fetch, old_index), entries)
     for entry, plugin in zip(entries, result):
         if isinstance(plugin, dict):
             ans[entry.name] = plugin