|
|
cbe57cd5d7
|
Fix lint
|
2019-11-16 16:56:59 +08:00 |
|
|
|
86e0fa4563
|
Handle StreamClosed in ping protocol handler
|
2019-11-16 16:56:59 +08:00 |
|
|
|
9a23609b48
|
type protocol IDs to satisfy mypy
|
2019-11-07 07:51:44 -08:00 |
|
|
|
c30d9ce397
|
Fix linter error from merge in #315.
|
2019-11-05 17:50:43 -08:00 |
|
|
|
1cf239cce6
|
Respect a remote close during the ping protocol
|
2019-10-24 19:44:52 +09:00 |
|
|
|
e157c3f654
|
typing fixes
|
2019-10-24 18:10:56 +09:00 |
|
|
|
f24b488f79
|
handle other side closing their end of the connection during ping
|
2019-10-24 18:10:56 +09:00 |
|
|
|
4a800e5c56
|
Add first-pass at ping protocol
|
2019-10-24 18:10:55 +09:00 |
|
