diff options
Diffstat (limited to 'editors/code')
-rw-r--r-- | editors/code/src/extension.ts | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/editors/code/src/extension.ts b/editors/code/src/extension.ts index db67bc7e3..1073a36a0 100644 --- a/editors/code/src/extension.ts +++ b/editors/code/src/extension.ts | |||
@@ -139,11 +139,10 @@ export function deactivate(): Thenable<void> { | |||
139 | return Server.client.stop(); | 139 | return Server.client.stop(); |
140 | } | 140 | } |
141 | 141 | ||
142 | |||
143 | async function reloadServer(startServer: () => void) { | 142 | async function reloadServer(startServer: () => void) { |
144 | if (Server.client != null) { | 143 | if (Server.client != null) { |
145 | vscode.window.showInformationMessage('Reloading rust-analyzer...'); | 144 | vscode.window.showInformationMessage('Reloading rust-analyzer...'); |
146 | await Server.client.stop(); | 145 | await Server.client.stop(); |
147 | startServer(); | 146 | startServer(); |
148 | } | 147 | } |
149 | } \ No newline at end of file | 148 | } |