cleanup socket at exit

imandra-ai · Aug 26, 2024 · 2003693 · 2003693
1 parent b551685
commit 2003693
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/serve.rs b/src/serve.rs
@@ -369,5 +369,11 @@ pub fn run(cli: cli::Serve) -> Result<()> {
     }
 
     st.active.store(false, atomic::Ordering::SeqCst);
+
+    // try to remove socket file
+    if let Err(err) = std::fs::remove_file(&socket_path) {
+        log::warn!("Error when deleting socket file at exit: {err:?}")
+    }
+
     Ok(())
 }