Skip to content
Snippets Groups Projects
user avatar
Jens Nolte authored
This adds the capability to report exceptions from both ResourceManagerIO and
ResourceManagerSTM, further increasing feature parity.

Adds a timeout to the root resource manager before exceptions are logged
to the console (usually they are thrown as a CombinedException, so
logging is only required for debugging visibility when resource
management is deadlocked).
3f5e71ef
History
Name Last commit Last update
..
Quasar
Spec.hs