From 06534f8c57da9dc682f382fe9e1176e327127e37 Mon Sep 17 00:00:00 2001
From: David Venhoff <david.venhoff@cs.tu-dortmund.de>
Date: Thu, 14 Aug 2025 12:49:45 +0200
Subject: [PATCH] Don't error out if the workdir does not exist

---
 src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.rs b/src/main.rs
index ca74638..4316575 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -10,7 +10,7 @@ const WORKDIR_PATH: &str = "/tmp/wdir";
 const SHAREDIR_PATH: &str = env!("NYX_SHAREDIR");
 
 fn main() -> Result<(), Box<dyn Error>> {
-    std::fs::remove_dir_all(WORKDIR_PATH)?;
+    let _ = std::fs::remove_dir_all(WORKDIR_PATH);
     run_client()?;
 
     let dump_path = format!("{WORKDIR_PATH}/pt_trace_dump_0");