Merge pull request #64 from wp-cli/46-fix-id-comparison

Fix ID comparison
wp-cli · Apr 20, 2019 · 83b636f · 83b636f
2 parents cc3e437 + 9aa44a3
commit 83b636f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/features/bootstrap/FeatureContext.php b/features/bootstrap/FeatureContext.php
@@ -431,7 +431,7 @@ private static function terminate_proc( $master_pid ) {
 				$parent = $matches[1];
 				$child  = $matches[2];
 
-				if ( $parent === $master_pid ) {
+				if ( (int) $parent === (int) $master_pid ) {
 					self::terminate_proc( $child );
 				}
 			}