diff options
| author | xiaoma20082008 | 2023-02-16 16:21:12 +0000 |
|---|---|---|
| committer | GitHub | 2023-02-16 16:21:12 +0000 |
| commit | ce0837dbb75badf39c9b1ac251fba9c3efbc57c4 (patch) | |
| tree | 5c3711f89e2cc4e7df5dcee72e17bbc189bcd6bf /runtime/queries/purescript | |
| parent | 78a1e2db6035b326d7536fbd0fb60f9fc586d978 (diff) | |
DAP: Add request ID to request timeout message (#6018)
This improves error logging for dap requests. Without the ID
it's hard to know which request is the one that timed out.
Diffstat (limited to 'runtime/queries/purescript')
0 files changed, 0 insertions, 0 deletions