Merge branch 'stable' with changes

This commit is contained in:
Dylan K. Taylor
2019-11-09 18:01:04 +00:00
15 changed files with 242 additions and 25 deletions

View File

@@ -142,6 +142,7 @@ class CommandReader extends Thread{
case self::TYPE_STREAM:
//stream_select doesn't work on piped streams for some reason
$r = [self::$stdin];
$w = $e = null;
if(($count = stream_select($r, $w, $e, 0, 200000)) === 0){ //nothing changed in 200000 microseconds
return true;
}elseif($count === false){ //stream error