Skip to content
This repository has been archived by the owner on Feb 21, 2023. It is now read-only.

Fix duplicate calls to pool.wait_closed() upon create_pool() exception #671

Merged
merged 1 commit into from Dec 2, 2019
Merged

Fix duplicate calls to pool.wait_closed() upon create_pool() exception #671

merged 1 commit into from Dec 2, 2019

Commits on Nov 29, 2019

  1. Fix duplicate calls to pool.wait_closed() upon create_pool() exception

    @achimnol
    achimnol committed Nov 29, 2019
    Configuration menu
    Copy the full SHA
    68490a8 View commit details
    Browse the repository at this point in the history