diff options
| author | Nikolai Kuklin <nickkuklin@gmail.com> | 2020-10-21 16:35:13 +0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-21 13:35:13 +0200 |
| commit | 7d7b79e1d53cacc24fb6c28ea67b25c7261e21de (patch) | |
| tree | 8b7ca50a1ea35f7a7d4ebdfa2550a2caa3eef157 /tokio/src/runtime/blocking/pool.rs | |
| parent | 8f37544a79ae7c694de6b3b7208ee06bdc86c308 (diff) | |
sync: add is_closed method to watch sender (#2991)
Diffstat (limited to 'tokio/src/runtime/blocking/pool.rs')
0 files changed, 0 insertions, 0 deletions