blob: 0ba111a49153b6739f95f6b33a48a83b85dd2bab (
plain)
1
2
3
4
5
6
7
|
A library for pooling resources like connections, threads, or similar
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.
|
