resource-pooling

library for pooling resources like connections, threads, or similar
Description

This package is derived from the module Lwt_pool from the lwt package, which implements resource pooling. With Resource_pool this package provides a modified version with additional features. Also there is a module called Server_pool that manages resource clusters, specifically a cluster of servers each with its own connection pool.

Install
Sources
0.3.2.tar.gz
md5=d234136f41f60a9670195148c1bcf73d
Dependencies
Reverse Dependencies