(server)
| 95 | } |
| 96 | |
| 97 | function getMergedConfig(server) { |
| 98 | const override = getServerOverride(server.id); |
| 99 | return { |
| 100 | ...server, |
| 101 | enabled: override.enabled ?? server.enabled, |
| 102 | startupTimeout: override.startupTimeout ?? server.startupTimeout, |
| 103 | initializationOptions: { |
| 104 | ...(server.initializationOptions || {}), |
| 105 | ...(override.initializationOptions || {}), |
| 106 | }, |
| 107 | clientConfig: { |
| 108 | ...(server.clientConfig || {}), |
| 109 | ...(override.clientConfig || {}), |
| 110 | builtinExtensions: { |
| 111 | ...(server.clientConfig?.builtinExtensions || {}), |
| 112 | ...(override.clientConfig?.builtinExtensions || {}), |
| 113 | }, |
| 114 | }, |
| 115 | launcher: mergeLauncher(server.launcher, override.launcher), |
| 116 | runtimes: override.runtimes || server.runtimes, |
| 117 | }; |
| 118 | } |
| 119 | |
| 120 | function formatInstallStatus(result) { |
| 121 | switch (result?.status) { |
no test coverage detected