should net.JSONStream.aclose use stream.send_eof? about nine43

[math2001]

import trio

async def handler(stream: trio.SocketStream) -> None:
    while True:
        data = await stream.receive_some(1024)
        if not data:
            print("no more data")
            return
        print(repr(data))


async def client() -> None:
    stream = await trio.open_tcp_stream("localhost", 9999)
    await stream.send_all(b"Bye...\n")
    # await stream.send_eof() # toggle
    await stream.aclose()


async def main() -> None:
    async with trio.open_nursery() as nursery:
        nursery.start_soon(trio.serve_tcp, handler, 9999)
        nursery.start_soon(client)

trio.run(main)

I don't see any difference...

Relevant docs: https://trio.readthedocs.io/en/latest/reference-io.html#trio.abc.HalfCloseableStream.send_eof