Allow disabling sysroot

Might be helpful for debugging
This commit is contained in:
Aleksey Kladov 2019-12-09 18:05:49 +01:00
parent 442ab3a34d
commit 7ac4ea7fec
2 changed files with 7 additions and 1 deletions

View file

@ -26,6 +26,8 @@ export class Config {
public excludeGlobs = []; public excludeGlobs = [];
public useClientWatching = false; public useClientWatching = false;
public featureFlags = {}; public featureFlags = {};
// for internal use
public withSysroot: null | boolean = null;
public cargoWatchOptions: CargoWatchOptions = { public cargoWatchOptions: CargoWatchOptions = {
enableOnStartup: 'ask', enableOnStartup: 'ask',
trace: 'off', trace: 'off',
@ -148,5 +150,8 @@ export class Config {
if (config.has('featureFlags')) { if (config.has('featureFlags')) {
this.featureFlags = config.get('featureFlags') || {}; this.featureFlags = config.get('featureFlags') || {};
} }
if (config.has('withSysroot')) {
this.withSysroot = config.get('withSysroot') || false;
}
} }
} }

View file

@ -57,7 +57,8 @@ export class Server {
maxInlayHintLength: Server.config.maxInlayHintLength, maxInlayHintLength: Server.config.maxInlayHintLength,
excludeGlobs: Server.config.excludeGlobs, excludeGlobs: Server.config.excludeGlobs,
useClientWatching: Server.config.useClientWatching, useClientWatching: Server.config.useClientWatching,
featureFlags: Server.config.featureFlags featureFlags: Server.config.featureFlags,
withSysroot: Server.config.withSysroot
}, },
traceOutputChannel traceOutputChannel
}; };