Improve handling of server disconnects - #112

Merged

florimondmanca merged 4 commits into

client-disconnects

Jul 15, 2020

Commits on Jul 7, 2020

Handle client disconnects in the sync and asyncio cases
florimondmanca
committed
04d1ec4
Lint
florimondmanca
committed
171f390

Commits on Jul 9, 2020

Merge branch 'master' into client-disconnects
florimondmanca
authored
3675cf1

Commits on Jul 14, 2020

Update
florimondmanca
committed
26d7f21