diff options
author | Aleksey Kladov <[email protected]> | 2018-08-10 16:01:59 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2018-08-10 16:02:26 +0100 |
commit | 1be7af26a83b79863efb0d66a77b1fb7c0235bd2 (patch) | |
tree | 1742c2adb8c850cede85a72f06acc5c11ec0d09b /codeless/server/src/req.rs | |
parent | 2e165ae82eed1dc62f1f4c68e45440c143c7c8ef (diff) |
cleaner shutdown
Diffstat (limited to 'codeless/server/src/req.rs')
-rw-r--r-- | codeless/server/src/req.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/codeless/server/src/req.rs b/codeless/server/src/req.rs index bc54c1d33..35a20a229 100644 --- a/codeless/server/src/req.rs +++ b/codeless/server/src/req.rs | |||
@@ -1,5 +1,6 @@ | |||
1 | use languageserver_types::TextDocumentIdentifier; | 1 | use languageserver_types::TextDocumentIdentifier; |
2 | pub use languageserver_types::request::*; | 2 | pub use languageserver_types::request::*; |
3 | pub use languageserver_types::{InitializeResult}; | ||
3 | 4 | ||
4 | pub enum SyntaxTree {} | 5 | pub enum SyntaxTree {} |
5 | 6 | ||