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.ts16
1 files changed, 15 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index a9c0f079b3..15846a5e86 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() {