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 |