diogo/symfony
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Round stream_select fifth argument up.

Browse Source 
- This argument must be an integer
- An argument equal to 0 should be avoided as it consumes too much CPU time
This commit is contained in:
Romain Neutron 2013-04-07 14:38:17 +02:00
parent 3780fdb214
commit bf4a9b083c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Symfony/Component/Process/Process.php
View File

@ -290,7 +290,7 @@ class Process
$w = $writePipes;
$e = null;
$n = @stream_select($r, $w, $e, 0, static::TIMEOUT_PRECISION * 1E6);
$n = @stream_select($r, $w, $e, 0, ceil(static::TIMEOUT_PRECISION * 1E6));
if (false === $n) {
break;
@ -360,7 +360,7 @@ class Process
$e = null;
// let's have a look if something changed in streams
if (false === $n = @stream_select($r, $w, $e, 0, static::TIMEOUT_PRECISION * 1E6)) {
if (false === $n = @stream_select($r, $w, $e, 0, ceil(static::TIMEOUT_PRECISION * 1E6))) {
$lastError = error_get_last();
// stream_select returns false when the `select` system call is interrupted by an incoming signal