diff options
Diffstat (limited to 'editors/code/src')
| -rw-r--r-- | editors/code/src/config.ts | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index a9c0f079b3d..15846a5e864 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -133,7 +133,21 @@ export class Config { } get runnableEnv() { - return this.get<RunnableEnvCfg>("runnableEnv"); + const item = this.get<any>("runnableEnv"); + if (!item) return item; + const fixRecord = (r: Record<string, any>) => { + for (const key in r) { + if (typeof r[key] !== "string") { + r[key] = String(r[key]); + } + } + }; + if (item instanceof Array) { + item.forEach((x) => fixRecord(x.env)); + } else { + fixRecord(item); + } + return item; } get restartServerOnConfigChange() { |
