phpredis "errno=32 Broken pipe" bug

redis-pipe-bug.php

<?php
$redis = new Redis();
var_dump($redis->connect('127.0.0.1'));

echo 'Parent pid: ' . getmypid() . PHP_EOL;

set_error_handler(function($errno, $errstr, $errfile, $errline) {
	echo 'Error in PID ' . getmypid() . ': ' . $errstr . PHP_EOL;
});

for ($i = 0; $i < 5; $i++) {
	$pid = pcntl_fork();

	if ($pid == 0) { //child
		echo 'Child pid: ' . getmypid() . PHP_EOL;
		sleep(2);
		break;
	} else {
		pcntl_wait($status);
	}
}