diff options
| author | Jake Heinz <jh@discordapp.com> | 2022-05-24 03:08:59 +0000 |
|---|---|---|
| committer | Jake Heinz <jh@discordapp.com> | 2022-05-24 03:11:30 +0000 |
| commit | b8ee992b5799d78869e97b026e974942c9cdf14c (patch) | |
| tree | 43c3dd0ce10bf8c329b7b669b7af33fc5afb3591 /editors/code/src | |
| parent | d1aa6d32167be4b4916399f87520e3c3cea44aed (diff) | |
| download | rust-b8ee992b5799d78869e97b026e974942c9cdf14c.tar.gz rust-b8ee992b5799d78869e97b026e974942c9cdf14c.zip | |
prettier
Diffstat (limited to 'editors/code/src')
| -rw-r--r-- | editors/code/src/config.ts | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 9d9392d2a5e..d07e47c8de9 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -101,8 +101,11 @@ export class Config { return this.get<null | string>("server.path") ?? this.get<null | string>("serverPath"); } 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])); + 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"); |
