| commit | f895e1592d5f4e58776e6a2d7ccdcc028cc5df80 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Tue Nov 07 09:23:47 2023 -0700 |
| committer | Tom Tromey <tromey@adacore.com> | Mon Dec 11 11:44:19 2023 -0700 |
| tree | 715b010abd067eca88491138a0acd3ac3b19e360 | |
| parent | 080530d8b6c3be802c53c0bb8a84032f355c2380 [diff] |
Move DAP JSON reader to its own thread This changes the DAP server to move the JSON reader to a new thread. This is key to implementing request cancellation, as now requests can be read while an earlier one is being serviced. Reviewed-By: Kévin Le Gouguec <legouguec@adacore.com>