feat(close): close stdin

Signed-off-by: dark0dave <dark0dave@mykolab.com>

Author: dark0dave

src/config/args.rs

@@ -214,13 +214,13 @@ pub struct Options {
     )]
   pub never_abort: bool,
 
-  /// Timeout time per mod in seconds, default is 1 hour or 3 hours if batch_mode
+  /// Timeout time per mod in seconds, default is 3 hours or 9 if batch mode
   #[clap(
     env,
     short,
     long,
-    default_value = "3600",
-    default_value_if("batch_mode", ArgPredicate::IsPresent, "10800")
+    default_value = "10800",
+    default_value_if("batch_mode", ArgPredicate::IsPresent, "32400")
   )]
   pub timeout: usize,
 
@@ -321,6 +321,11 @@ pub struct Options {
   pub batch_mode: bool,
 
   /// Ocaml run parameters
+  // OCaml GC tuning — prevents 0xc0000005 segfaults on large installs:
+  //   s=16M  = 128MB minor heap (64x default ~2MB, reduces minor GC frequency)
+  //   o=500  = 500% space overhead (5x default, reduces major GC frequency)
+  //   O=1000000 = disable heap compaction (compaction relocates memory blocks,
+  //               can trigger stale-pointer crashes in WeiDU's unsafe-string code)
   #[clap(env = "OCAMLRUNPARAM", long, default_value = "s=16M,o=500,O=1000000")]
   pub ocamlrunparam: String,
 }

src/runner.rs

@@ -128,13 +128,16 @@ fn handle_result(
       log::debug!("Weidu exit status: {exit}");
       result
     },
-    Ok(None) if retry < 3 => {
+    Ok(None) if retry < 5 => {
       log::debug!("Weidu not finished, sleeping then retrying, retry attempt number {retry}");
       sleep(options.tick);
       handle_result(child, options, result, retry + 1)
     },
     Ok(None) => {
       log::warn!("Weidu not finished, exiting anyway");
+      if let Some(stdin) = child.stdin {
+        drop(stdin);
+      }
       result
     },
     Err(err) => {