diff options
Diffstat (limited to 'editors/code/src/server.ts')
-rw-r--r-- | editors/code/src/server.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts index 0d2a99c70..ff50fcd99 100644 --- a/editors/code/src/server.ts +++ b/editors/code/src/server.ts | |||
@@ -46,6 +46,7 @@ export class Server { | |||
46 | Server.config.showWorkspaceLoadedNotification, | 46 | Server.config.showWorkspaceLoadedNotification, |
47 | lruCapacity: Server.config.lruCapacity, | 47 | lruCapacity: Server.config.lruCapacity, |
48 | excludeGlobs: Server.config.excludeGlobs, | 48 | excludeGlobs: Server.config.excludeGlobs, |
49 | useClientWatching: Server.config.useClientWatching, | ||
49 | featureFlags: Server.config.featureFlags | 50 | featureFlags: Server.config.featureFlags |
50 | }, | 51 | }, |
51 | traceOutputChannel | 52 | traceOutputChannel |