Skip to content
Snippets Groups Projects
  • Jens Nolte's avatar
    3f5e71ef
    Move throwToResourceManager to MonadResourceManager · 3f5e71ef
    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
    Move throwToResourceManager to MonadResourceManager
    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).