diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-02 19:20:42 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-02 19:20:42 +0000 |
commit | e72771ebc6eb98c58a9e4216f7e3381a41e75f84 (patch) | |
tree | 681e88118603403c70de2e92d2a3cf3502bff2a0 /editors/code/src/ctx.ts | |
parent | d06e02dd13e7cf10d53203620592aa0e85d808c0 (diff) | |
parent | 420462421d87a05c926501f8d4235f7660217924 (diff) |
Merge #2986
2986: vscode extension cleanup: migrate to prefer-const tslint rule r=matklad a=Veetaha
Co-authored-by: Veetaha <[email protected]>
Diffstat (limited to 'editors/code/src/ctx.ts')
-rw-r--r-- | editors/code/src/ctx.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts index a2a4e42a9..b882a8e52 100644 --- a/editors/code/src/ctx.ts +++ b/editors/code/src/ctx.ts | |||
@@ -20,7 +20,7 @@ export class Ctx { | |||
20 | } | 20 | } |
21 | 21 | ||
22 | async restartServer() { | 22 | async restartServer() { |
23 | let old = this.client; | 23 | const old = this.client; |
24 | if (old) { | 24 | if (old) { |
25 | await old.stop(); | 25 | await old.stop(); |
26 | } | 26 | } |