Polish the echo-server example a bit

Munksgaard / session-types

MIT License

550 stars 21 forks source link

Polish the echo-server example a bit #53

Closed laumann closed 5 years ago

laumann commented 5 years ago

The main thing is joining the server thread - on exit, the server thread wants to print some things, but often it wasn't allowed to before the main thread would exit.

Munksgaard commented 5 years ago

Looks good :+1:

laumann commented 5 years ago

Alright, I'll merge it.