(sat-bench.rs) handle an environment without hostname

shnarazk · Aug 11, 2024 · b35f030 · b35f030
1 parent b9777b1
commit b35f030
Showing 1 changed file with 10 additions and 5 deletions.
diff --git a/src/bin/sat-bench.rs b/src/bin/sat-bench.rs
@@ -350,11 +350,16 @@ fn main() {
         config.range_to = 250;
         config.benchmark_set = true;
     }
-    let host = Command::new("hostname")
-        .arg("-s")
-        .output()
-        .expect("failed to execute process")
-        .stdout;
+    let host = if let Ok(output) = Command::new("hostname").arg("-s").output() {
+        output.stdout
+    } else {
+        b"localhost".to_vec()
+    };
+    /* let host = Command::new("hostname")
+    .arg("-s")
+    .output()
+    .expect("failed to execute 'hostname'")
+    .stdout; */
     let h = String::from_utf8_lossy(&host[..host.len() - 1]);
     if config.solver_opts.is_empty() {
         println!(