Giulio Eulisse 6dfea32aee Improve Events API ...

If the call is interrupted by a signal, this will throw, which we clearly do not want. Simplifying the API to let the user decide what to do on error is probably the best option.

2021-05-04 22:54:19 +02:00

3.2 KiB

Raw Blame History

View Raw