terrazzo-terminal 0.2.8

A simple web-based terminal emulator built on Terrazzo.
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

use std::sync::Arc;

use nameth::nameth;
use server_fn::Http;
use server_fn::ServerFnError;
use server_fn::codec::Json;
use terrazzo::server;

use self::synthetic::SyntheticDiagnostic;
use crate::api::client_address::ClientAddress;

mod messages;
mod remote;
pub mod service;
pub mod synthetic;

#[server(protocol = Http<Json, Json>)]
#[nameth]
async fn cargo_check(
    remote: ClientAddress,
    base_path: Arc<str>,
    features: Vec<String>,
) -> Result<Vec<SyntheticDiagnostic>, ServerFnError> {
    use scopeguard::defer;
    use tracing::Instrument as _;
    use tracing::debug;
    use tracing::debug_span;
    async move {
        debug!("Start");
        defer!(debug!("End"));
        let request = remote::CargoCheckRequest {
            base_path,
            features,
        };
        return Ok(remote::CARGO_CHECK_REMOTE_FN.call(remote, request).await?);
    }
    .instrument(debug_span!("CargoCheck"))
    .await
}