eio/lib_eio_linux
Thomas Leonard c9d3f734e9 Avoid Fun.protect in Eio_linux.run
If the scheduler crashes, it tries to shut down the uring, which is
likely to fail. In that case, `Fun.protect` throws away the original
exception, which isn't helpful.
2021-12-07 12:48:17 +00:00
..
2021-11-24 14:43:02 +00:00
2021-07-29 14:39:01 +01:00
2021-11-24 14:43:02 +00:00