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
Published
11 Oct 2019
Sources
0.8.tar.gz
md5=52afb6168141a06551a4c7721339be5c
sha512=027507959a454e498fed37f016174abbce8a803b19d203c39403d64e25f01204d116d9a43e8d2f0559da714db6c406a2a689dda634d0bd01fdd37097e94074f0
Dependencies
Reverse Dependencies
ocsigen-start
>= "1.2.0" & < "2.7.0"