2018-08-10 07:07:43 -05:00
|
|
|
#[macro_use]
|
2018-08-10 09:49:45 -05:00
|
|
|
extern crate log;
|
2018-09-01 10:16:08 -05:00
|
|
|
#[macro_use]
|
|
|
|
extern crate failure;
|
2018-08-10 09:49:45 -05:00
|
|
|
extern crate flexi_logger;
|
2018-09-01 09:40:45 -05:00
|
|
|
extern crate gen_lsp_server;
|
2018-09-01 10:16:08 -05:00
|
|
|
extern crate m;
|
2018-08-13 05:46:05 -05:00
|
|
|
|
2018-08-12 18:38:34 -05:00
|
|
|
use flexi_logger::{Logger, Duplicate};
|
2018-09-01 09:40:45 -05:00
|
|
|
use gen_lsp_server::{run_server, stdio_transport};
|
2018-09-01 10:16:08 -05:00
|
|
|
use m::Result;
|
2018-08-10 07:07:43 -05:00
|
|
|
|
|
|
|
fn main() -> Result<()> {
|
2018-08-27 16:42:13 -05:00
|
|
|
Logger::with_env_or_str("m=error")
|
2018-08-12 18:38:34 -05:00
|
|
|
.duplicate_to_stderr(Duplicate::All)
|
2018-08-10 09:49:45 -05:00
|
|
|
.log_to_file()
|
|
|
|
.directory("log")
|
|
|
|
.start()?;
|
2018-08-10 14:55:42 -05:00
|
|
|
info!("lifecycle: server started");
|
2018-08-10 09:49:45 -05:00
|
|
|
match ::std::panic::catch_unwind(|| main_inner()) {
|
|
|
|
Ok(res) => {
|
2018-08-10 14:55:42 -05:00
|
|
|
info!("lifecycle: terminating process with {:?}", res);
|
2018-08-10 09:49:45 -05:00
|
|
|
res
|
|
|
|
}
|
|
|
|
Err(_) => {
|
|
|
|
error!("server panicked");
|
|
|
|
bail!("server panicked")
|
2018-08-10 10:01:59 -05:00
|
|
|
}
|
2018-08-10 09:49:45 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main_inner() -> Result<()> {
|
2018-09-01 09:40:45 -05:00
|
|
|
let (receiver, sender, threads) = stdio_transport();
|
2018-09-01 10:03:57 -05:00
|
|
|
let root = ::std::env::current_dir()?;
|
|
|
|
run_server(
|
2018-09-01 10:16:08 -05:00
|
|
|
m::server_capabilities(),
|
|
|
|
|r, s| m::main_loop(root, r, s),
|
2018-09-01 10:03:57 -05:00
|
|
|
receiver,
|
|
|
|
sender,
|
|
|
|
)?;
|
2018-08-10 09:49:45 -05:00
|
|
|
info!("shutting down IO...");
|
2018-09-01 09:40:45 -05:00
|
|
|
threads.join()?;
|
2018-08-10 09:49:45 -05:00
|
|
|
info!("... IO is down");
|
2018-09-01 09:40:45 -05:00
|
|
|
Ok(())
|
2018-08-10 09:49:45 -05:00
|
|
|
}
|
2018-09-01 10:16:08 -05:00
|
|
|
|