|  d8b6d3efde Pool setup/destroy may be a time consuming operation, allow them to be asynchronous. Fortunately add_pool and remove_pool are used only through Admin API, so the change does not require modification of other components. | ||
|---|---|---|
| .. | ||
| __init__.py | ||
| admin.py | ||
| internal.py | ||
| misc.py | ||