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