tree 715b010abd067eca88491138a0acd3ac3b19e360
parent 080530d8b6c3be802c53c0bb8a84032f355c2380
author Tom Tromey <tromey@adacore.com> 1699374227 -0700
committer Tom Tromey <tromey@adacore.com> 1702320259 -0700

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>