diff options
Diffstat (limited to 'editors/code/src/client.ts')
-rw-r--r-- | editors/code/src/client.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/client.ts b/editors/code/src/client.ts index 15e1a0873..1778c4e9f 100644 --- a/editors/code/src/client.ts +++ b/editors/code/src/client.ts | |||
@@ -68,7 +68,7 @@ PATH=${process.env.PATH} | |||
68 | // This also requires considering our settings strategy, which is work which needs doing | 68 | // This also requires considering our settings strategy, which is work which needs doing |
69 | // @ts-ignore The tracer is private to vscode-languageclient, but we need access to it to not log publishDecorations requests | 69 | // @ts-ignore The tracer is private to vscode-languageclient, but we need access to it to not log publishDecorations requests |
70 | res._tracer = { | 70 | res._tracer = { |
71 | log: (messageOrDataObject: string | any, data?: string) => { | 71 | log: (messageOrDataObject: string | unknown, data?: string) => { |
72 | if (typeof messageOrDataObject === 'string') { | 72 | if (typeof messageOrDataObject === 'string') { |
73 | if ( | 73 | if ( |
74 | messageOrDataObject.includes( | 74 | messageOrDataObject.includes( |