diff options
| author | Michael Davis | 2023-02-16 01:16:25 +0000 |
|---|---|---|
| committer | GitHub | 2023-02-16 01:16:25 +0000 |
| commit | 0f64f31d8b89c24910208bc50baa8ce03c00fbf3 (patch) | |
| tree | 8cbea19d77acc3824c1dc0c1b110eec60ae82991 /runtime | |
| parent | d8526a752c52e73f041f76869c0e040959632927 (diff) | |
LSP: Add request ID to request timeout message (#6010)
This improves error logging for requests - without the ID it's hard to
know which request is the one that timed out.
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions