Windows supports signals as well (albeit a significantly smaller set than what Unix supports). It would be good to support those signals here.
However, the current notification (an asynchronous pipe) isn't supported by async-io yet. We could either use Windows UDS sockets, which would work out of the box in this case but aren't available on older versions of Windows, or we could work named pipes into async-io/polling, which would be harder but also open up more opportunities.
Windows supports signals as well (albeit a significantly smaller set than what Unix supports). It would be good to support those signals here.
However, the current notification (an asynchronous pipe) isn't supported by
async-io
yet. We could either use Windows UDS sockets, which would work out of the box in this case but aren't available on older versions of Windows, or we could work named pipes intoasync-io
/polling
, which would be harder but also open up more opportunities.