Add channel that signals server is completed#263

Open

KnicKnic wants to merge 3 commits intoyyyar:masterfrom KnicKnic:server_exited

+19-11

Commits on Jan 24, 2020

Commits on Jul 24, 2020

Merge branch 'master' into server_exited
KnicKnic
authored