Follow-up to #8, which accidentally broke the worker's clean-up.
The pre-conditions are still needed, because once the senders are closed, all recv_option calls will continue to yield None (and the biased selection gets stuck on polling the rx1). The pre-condition stops polling the rx once it's removed.
Follow-up to #8, which accidentally broke the worker's clean-up.
The pre-conditions are still needed, because once the senders are closed, all
recv_optioncalls will continue to yieldNone(and the biased selection gets stuck on polling therx1). The pre-condition stops polling the rx once it's removed.