continue;
}
- echo "CLOSING: " . $p['cmd'] . " : " . file_get_contents($p['out']) . "\n";
+ echo "CLOSING: ({$p['pid']}) " . $p['cmd'] . " : " . file_get_contents($p['out']) . "\n";
//fclose($p['pipes'][1]);
fclose($p['pipes'][0]);
fclose($p['pipes'][2]);
$pool[] = $p;
continue;
}
- echo "ENDED: " . $p['cmd'] . " : " . file_get_contents($p['out']) . "\n";
+ echo "ENDED: ({$p['pid']}) " . $p['cmd'] . " : " . file_get_contents($p['out']) . "\n";
//unlink($p['out']);
}