Skip to content

Commit

Permalink
fix(slither): ran fmt and lint + pnpm install
Browse files Browse the repository at this point in the history
  • Loading branch information
0xSwapFeeder authored and 0xmemorygrinder committed Apr 27, 2024
1 parent f760d1f commit 80451f0
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
5 changes: 2 additions & 3 deletions servers/slither-server/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -97,9 +97,8 @@ impl LanguageServer for Backend {
if self.data.lock().await.has_to_shutdown {
error!("Osmium-Solidity-Slither shuting down ...");
info!("This may occur because of missing dependencies or errors. Please check the logs for more information.");
self.shutdown().await;
}
else {
let _ = self.shutdown().await;
} else {
info!("Osmium-Solidity-Slither initialized!");
}
}
Expand Down
5 changes: 3 additions & 2 deletions servers/slither-server/src/types.rs
Original file line number Diff line number Diff line change
Expand Up @@ -9,12 +9,11 @@ use tower_lsp::lsp_types::{Diagnostic, DiagnosticSeverity as Severity, Position,
pub struct SlitherDiag {
pub diagnostics: Vec<Diagnostic>,
pub uri: Url,
pub has_to_shutdown: bool,
}

impl SlitherDiag {
pub fn new(uri: Url, diagnostics: Vec<Diagnostic>) -> Self {
Self { uri, diagnostics, has_to_shutdown: false }
Self { uri, diagnostics }
}
}

Expand All @@ -25,6 +24,7 @@ pub struct SlitherData {
pub sender: Sender<SlitherDiag>,
pub src_paths: Vec<String>,
pub workspace: String,
pub has_to_shutdown: bool,
}

impl SlitherData {
Expand All @@ -36,6 +36,7 @@ impl SlitherData {
receiver: Some(receiver),
sender,
workspace: String::new(),
has_to_shutdown: false,
}
}
}
Expand Down

0 comments on commit 80451f0

Please sign in to comment.