aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-01-14 13:40:06 +0000
committerGitHub <[email protected]>2021-01-14 13:40:06 +0000
commitaeacaeed4e49dd71ba0de30a21d9f3d1cc153cec (patch)
tree5509e76ff7460258ec58f14e845f0bd0b3f987c8
parent022d031b7fe9266ad3dd320c729989e8bf495b67 (diff)
parent1749a78adabbf9cc268651329dabd26f19c06b4a (diff)
Merge #7269
7269: Fix server path comparison r=lnicola a=lnicola Co-authored-by: LaurenČ›iu Nicola <[email protected]>
-rw-r--r--editors/code/src/main.ts2
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) {