Skip to content
Snippets Groups Projects
  1. Mar 13, 2022
  2. Feb 27, 2022
  3. Feb 25, 2022
  4. Feb 21, 2022
  5. Feb 12, 2022
  6. Feb 11, 2022
  7. Feb 10, 2022
  8. Jan 29, 2022
  9. 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
  10. Jan 01, 2022
  11. Dec 11, 2021
  12. Dec 05, 2021
  13. Nov 03, 2021
  14. Oct 24, 2021
  15. Oct 08, 2021
  16. Oct 06, 2021
  17. Oct 03, 2021
  18. Sep 26, 2021
  19. Sep 19, 2021
  20. Sep 05, 2021
  21. Sep 04, 2021
  22. Sep 01, 2021
  23. Aug 29, 2021
  24. Aug 25, 2021
  25. Aug 24, 2021
Loading