| commit | 0413c152d8f21b90bc57f39a5d3f871a9a10e158 | [log] [tgz] |
|---|---|---|
| author | Jia Hao <jiahaog@users.noreply.github.com> | Tue Jun 09 00:04:20 2020 +0800 |
| committer | GitHub <noreply@github.com> | Mon Jun 08 09:04:20 2020 -0700 |
| tree | 749b96c978410790baefab07de184a071656f8a3 | |
| parent | 0c05f886465018753312050ee6bc09485112a6cf [diff] |
Fix `Peer` requests not terminating when the channel closes (dart-lang/json_rpc_2#52) The `listen()` method of `Peer` never propagates close events from its manager to the `client` field. This causes in-flight requests to never terminate as the clean up handler in `client.dart` is never called.