Allow interrupt on Windows

crazywhalecc · crazywhalecc · commit 88d135a4e5d2 · 2025-12-11T15:50:39.000+08:00
diff --git a/src/StaticPHP/Runtime/Shell/Shell.php b/src/StaticPHP/Runtime/Shell/Shell.php
@@ -171,7 +171,7 @@ protected function passthru(
         } else {
             $env = null;
         }
-        $process = proc_open($cmd, $descriptors, $pipes, $cwd, env_vars: $env);
+        $process = proc_open($cmd, $descriptors, $pipes, $cwd, env_vars: $env, options: PHP_OS_FAMILY === 'Windows' ? ['create_process_group' => true] : null);
 
         $output_value = '';
         try {

Original file line number	Diff line number	Diff line change
`@@ -171,7 +171,7 @@ protected function passthru(`
`171`	`171`	`} else {`
`172`	`172`	`$env = null;`
`173`	`173`	`}`
`174`		`- $process = proc_open($cmd, $descriptors, $pipes, $cwd, env_vars: $env);`
	`174`	`+ $process = proc_open($cmd, $descriptors, $pipes, $cwd, env_vars: $env, options: PHP_OS_FAMILY === 'Windows' ? ['create_process_group' => true] : null);`
`175`	`175`
`176`	`176`	`$output_value = '';`
`177`	`177`	`try {`