Thomas Leonard d35eb8d636 Update network examples to use run_server ...

Since this server now accepts multiple connections, we need to exit when
the client is done. I switched the order of the messages so that the
client reading the reply is the last thing that happens, to avoid a
race here.

2023-01-30 11:01:08 +00:00

..

client.ml

Add some example programs

2022-12-14 11:19:11 +00:00

dune

Add some example programs

2022-12-14 11:19:11 +00:00

main.ml

Add some example programs

2022-12-14 11:19:11 +00:00

server.ml

Update network examples to use run_server

2023-01-30 11:01:08 +00:00