Hash :
71efafdf
Author :
Thomas de Grivel
Date :
2025-05-31T00:26:20
fix buf_fd_open_w_flush
quote (server = Socket.listen("127.0.0.1", "57000")); void
(server = Socket.listen("127.0.0.1", "57000")) ; void
quote (client = Socket.Buf.connect("127.0.0.1", "57000")) ; void
(client = Socket.Buf.connect("127.0.0.1", "57000")) ; void
quote (server_client = Socket.Buf.accept(server)) ; void
(server_client = Socket.Buf.accept(server)) ; void
quote Socket.Buf.close(server_client)
Socket.Buf.close(server_client)
quote Socket.Buf.close(client)
Socket.Buf.close(client)
quote Socket.close(server)
Socket.close(server)