diff options
author | Roberto Vidal <[email protected]> | 2019-04-15 20:41:27 +0100 |
---|---|---|
committer | Roberto Vidal <[email protected]> | 2019-04-16 21:07:33 +0100 |
commit | 12f28f6276bbf1d1a19a553c7352bcb974361247 (patch) | |
tree | a3d72ba73e95c80ff24c59d5f546bf8baa0378f5 /crates/ra_lsp_server | |
parent | 546d9be2a7bf7b3942c125f922a01321aea6ad26 (diff) |
Adds "restart server" command
Diffstat (limited to 'crates/ra_lsp_server')
-rw-r--r-- | crates/ra_lsp_server/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_lsp_server/src/main.rs b/crates/ra_lsp_server/src/main.rs index b0b70df5c..6b1274a3b 100644 --- a/crates/ra_lsp_server/src/main.rs +++ b/crates/ra_lsp_server/src/main.rs | |||
@@ -54,7 +54,7 @@ fn main_inner() -> Result<()> { | |||
54 | ra_lsp_server::main_loop(workspace_roots, opts, r, s) | 54 | ra_lsp_server::main_loop(workspace_roots, opts, r, s) |
55 | })?; | 55 | })?; |
56 | log::info!("shutting down IO..."); | 56 | log::info!("shutting down IO..."); |
57 | threads.join()?; | 57 | threads.exit()?; |
58 | log::info!("... IO is down"); | 58 | log::info!("... IO is down"); |
59 | Ok(()) | 59 | Ok(()) |
60 | } | 60 | } |