Skip to content
Snippets Groups Projects
  1. Feb 20, 2022
  2. Feb 12, 2022
  3. Feb 11, 2022
  4. Feb 10, 2022
  5. Jan 29, 2022
  6. Jan 16, 2022
  7. Jan 10, 2022
  8. Jan 02, 2022
    • Jens Nolte's avatar
      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
Loading