diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-14 13:40:06 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-14 13:40:06 +0000 |
| commit | aeacaeed4e49dd71ba0de30a21d9f3d1cc153cec (patch) | |
| tree | 5509e76ff7460258ec58f14e845f0bd0b3f987c8 /editors/code | |
| parent | 022d031b7fe9266ad3dd320c729989e8bf495b67 (diff) | |
| parent | 1749a78adabbf9cc268651329dabd26f19c06b4a (diff) | |
Merge #7269
7269: Fix server path comparison r=lnicola a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors/code')
| -rw-r--r-- | editors/code/src/main.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 694da9409..e598c2c84 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
| @@ -167,7 +167,7 @@ async function bootstrapExtension(config: Config, state: PersistentState): Promi | |||
| 167 | } | 167 | } |
| 168 | return; | 168 | return; |
| 169 | }; | 169 | }; |
| 170 | if (serverPath(config) !== null) return; | 170 | if (serverPath(config)) return; |
| 171 | 171 | ||
| 172 | const now = Date.now(); | 172 | const now = Date.now(); |
| 173 | if (config.package.releaseTag === NIGHTLY_TAG) { | 173 | if (config.package.releaseTag === NIGHTLY_TAG) { |