core: Latch.empty() improvements
- throw LatchError if the latch is closed. - wrap with the lock to avoid unexpected weirdness.issue510
parent
388649df97
commit
bcd9827c3b
Loading…
Reference in New Issue