Repository navigation

Improve handling of server disconnects - #112

Merged

florimondmanca merged 4 commits into

client-disconnects

Jul 15, 2020

Merged

Improve handling of server disconnects#112
florimondmanca merged 4 commits into
masterfrom
client-disconnects

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