Skip to content

Commit 5a160a1

Browse files
committed
fix: rename _worker_pool to _pool in _reset_pool()
- _reset_pool() in worker_pool.py referenced _worker_pool but the global singleton is named _pool, causing three mypy name-defined errors
1 parent 3dd0eb6 commit 5a160a1

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

src/core/worker_pool.py

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -298,10 +298,10 @@ def get_pool() -> WorkerPool:
298298

299299
def _reset_pool() -> None:
300300
"""Force-shutdown and recreate the global worker pool."""
301-
global _worker_pool
302-
if _worker_pool is not None:
301+
global _pool
302+
if _pool is not None:
303303
try:
304-
_worker_pool._pool.shutdown(wait=False, cancel_futures=True)
304+
_pool._pool.shutdown(wait=False, cancel_futures=True)
305305
except Exception:
306306
pass
307-
_worker_pool = None
307+
_pool = None

0 commit comments

Comments
 (0)