diff options
| author | Aleksey Kladov <[email protected]> | 2019-09-06 18:58:21 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-09-06 18:58:21 +0100 |
| commit | 219287a14c4e1d9f72465c81b34bd8cc2e2b2f44 (patch) | |
| tree | 73d3eaf5d8bfcecc5dca0334f0e015026925cb2c /editors/code/src/server.ts | |
| parent | 1acd9d5540bf755e87173fe16a803cfe8b2bb500 (diff) | |
don't deadlock on shutdown
Specifically, when we tear down IO threads, we should take care to
dispose connection.
closes #1775
Diffstat (limited to 'editors/code/src/server.ts')
0 files changed, 0 insertions, 0 deletions