allow SIGINT to still be registored for other uses.

TheTechsTech · TheTechsTech · commit b7a181f0c562 · 2020-04-07T11:04:42.000-04:00
diff --git a/Spawn/Launcher.php b/Spawn/Launcher.php
@@ -139,8 +139,7 @@ public static function add(
                 }
 
                 if ($signal) {
-                    if ($signal === \SIGINT) {
-                        $launcher->status = 'timeout';
+                    if ($signal === \SIGINT && $launcher->status === 'timeout') {
                         if (!Spawn::isBypass())
                             $launcher->triggerTimeout($launcher->isYield);
                     } else {

Original file line number	Diff line number	Diff line change
`@@ -139,8 +139,7 @@ public static function add(`
`139`	`139`	`}`
`140`	`140`
`141`	`141`	`if ($signal) {`
`142`		`- if ($signal === \SIGINT) {`
`143`		`- $launcher->status = 'timeout';`
	`142`	`+ if ($signal === \SIGINT && $launcher->status === 'timeout') {`
`144`	`143`	`if (!Spawn::isBypass())`
`145`	`144`	`$launcher->triggerTimeout($launcher->isYield);`
`146`	`145`	`} else {`