From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 6 Mar 2022 11:48:18 +0000 (+0000)
Subject: wdriver: Remove an unused field
X-Git-Tag: otter-1.0.0~157
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=d743087d5ad773a57e9a6c47c557a371226f3288;p=otter.git

wdriver: Remove an unused field

This was just here for possible use in error messages but we use name
instead.
---

diff --git a/wdriver/wdriver.rs b/wdriver/wdriver.rs
index f0d190a7..1b32cfba 100644
--- a/wdriver/wdriver.rs
+++ b/wdriver/wdriver.rs
@@ -175,7 +175,6 @@ pub type JsLogfile = Rc<RefCell<JsLogfileImp>>;
 #[derive(Debug)]
 pub struct JsLogfileImp {
   name: String,
-  path: String,
   fh: File,
   counter: usize,
 }
@@ -189,7 +188,7 @@ impl JsLogfileImp {
     let name = name.to_owned();
     let fh = File::create(&path).with_context(|| path.clone())?;
     let counter = 0;
-    JsLogfileImp { name, path, fh, counter }
+    JsLogfileImp { name, fh, counter }
   }
 
   pub fn name(&self) -> String {