1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
use clap::{app_from_crate, crate_authors, crate_description, crate_name, crate_version, Arg};
use futures::channel::mpsc;
use futures::prelude::*;
use jsonrpc::MessageHandler;
use std::error::Error;
use std::io::Write;
use std::sync::Arc;
use stderrlog::{ColorChoice, Timestamp};
use texlab::client::LatexLspClient;
use texlab::codec::LspCodec;
use texlab::server::LatexLspServer;
use tokio::codec::{FramedRead, FramedWrite};
#[tokio::main]
async fn main() -> Result<(), Box<dyn Error>> {
let matches = app_from_crate!()
.author("")
.arg(
Arg::with_name("verbosity")
.short("v")
.multiple(true)
.help("Increase message verbosity"),
)
.arg(
Arg::with_name("quiet")
.long("quiet")
.short("q")
.help("No output printed to stderr"),
)
.get_matches();
stderrlog::new()
.module(module_path!())
.module("jsonrpc")
.verbosity(matches.occurrences_of("verbosity") as usize)
.quiet(matches.is_present("quiet"))
.timestamp(Timestamp::Off)
.color(ColorChoice::Never)
.init()
.unwrap();
let stdin = FramedRead::new(tokio::io::stdin(), LspCodec);
let (stdout_tx, mut stdout_rx) = mpsc::channel(0);
let client = Arc::new(LatexLspClient::new(stdout_tx.clone()));
let server = Arc::new(LatexLspServer::new(
Arc::new(tex::Distribution::detect().await),
Arc::clone(&client),
));
let mut handler = MessageHandler {
server,
client,
input: stdin,
output: stdout_tx,
};
tokio::spawn(async move {
let mut stdout = FramedWrite::new(tokio::io::stdout(), LspCodec);
loop {
let message = stdout_rx.next().await.unwrap();
stdout.send(message).await.unwrap();
std::io::stdout().flush().unwrap(); // Workaround for tokio-rs/tokio#1527
}
});
handler.listen().await;
Ok(())
}
|