Implement V1_LWT.FLOW disconnect

[djs55]

FLOW.close should flush data and signal to the remote that no more data will be written.

FLOW.disconnect should disconnect from the flow immediately without signalling and possibly drop in-flight/in-buffer data.

FLOW.close should act like Unix.shutdown while FLOW.disconnect should act like Unix.close.

This patch implements FLOW.disconnect by setting any Active connection to Eof (hopefully the GC will deallocate it later) and calling disconnect on the underlying flow.

Related to [mirage/mirage#550]

Signed-off-by: David Scott [email protected]

[pqwy]

Is this still relevant?

LGTM

[hannesm]

it seems relevant, but let's wait till https://github.com/mirage/mirage/pull/550 is merged

[hannesm]

thanks a lot, this has been superseeded by #488