Close pipes when dropping them, check for closed pipe when flushing a writer#13

Open

maxbrunsfeld wants to merge 2 commits intorouterify:masterfrom

zed-industries:master

Commits on Mar 1, 2022

Return an error when flushing a PipeWriter whose reader is closed

maxbrunsfeld
and
nathansobo
committed
Close pipe when dropping reader or writer
maxbrunsfeld
committed