package domain-local-timeout

  1. Overview
  2. Docs
A scheduler independent timeout mechanism

Install

Dune Dependency

Authors

Maintainers

Sources

domain-local-timeout-1.0.1.tbz
sha256=eac0aa5243a337c13eece2d4c15427b64bf4beb4039060d5f0a36a0e1566d1df
sha512=32ecb0c41a10e3a68f5a8774c48d6b8598cbc81494dd1fb716c7d2d97ca14cbe2b59a02aa64d2ee6d53aa57b4e16c8992b6a592938bb3c70a2517273bde340f3

CHANGES.md.html

Release notes

All notable changes to this project will be documented in this file.

1.0.1

  • Add (implicit_transitive_deps false) (@polytypic)

  • Fix to not write to internal pipe after it has been closed (@polytypic)

1.0.0

  • Internal improvements (@polytypic)

0.1.0

  • Initial version of scheduler independent timeout mechanism (@polytypic)