Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/config.ts')
| -rw-r--r-- | editors/code/src/config.ts | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 592ebe0ce3..d07e47c8de 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -100,8 +100,12 @@ export class Config { get serverPath() { return this.get<null | string>("server.path") ?? this.get<null | string>("serverPath"); } - get serverExtraEnv() { - return this.get<Env | null>("server.extraEnv") ?? {}; + get serverExtraEnv(): Env { + const extraEnv = + this.get<{ [key: string]: string | number } | null>("server.extraEnv") ?? {}; + return Object.fromEntries( + Object.entries(extraEnv).map(([k, v]) => [k, typeof v !== "string" ? v.toString() : v]) + ); } get traceExtension() { return this.get<boolean>("trace.extension"); |