aries / net.globalid.aries.pool / PoolManager / <init>

<init>

PoolManager()

A manager for opening and closing pools. Supports opening the same pool "more than once"; this is done by keeping track of already opened pools. Note that pool config (genesis) must already be saved to a file when using this provider.