Try fixing Windows "child process error" issue

phpstan · Feb 14, 2020 · 54eb9ce · 54eb9ce
1 parent 769669d
commit 54eb9ce
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/Parallel/Process.php b/src/Parallel/Process.php
@@ -126,8 +126,6 @@ public function quit(): void
 		// todo what are all the events I should listen to?
 		// process: just exit now
 		// connection: connection, data, error?
-
-		$this->process->terminate();
 	}
 
 	public function bindConnection(ReadableStreamInterface $out, WritableStreamInterface $in): void