note 61951 added to function.stream-set-timeout

stream_set_timeout() seems not to work with streams opened for UNIX device driver files (/dev/...). Instead I used stream_select() on such "device"-streams with desirable timeout value. ---- Server IP: 195.222.164.18 Probable Submitter: 87.245.147.2 ---- Manual Page -- http://www.php.net/manual/en/function.stream-set-timeout.php Edit -- http://master.php.net/manage/user-notes.php?action=edit+61951 Delete: added to the manual -- http://master.php.net/manage/user-notes.php?action=delete+61951&report=yes&reason=added+to+the+manual Delete: bad code -- http://master.php.net/manage/user-notes.php?action=delete+61951&report=yes&reason=bad+code Delete: spam -- http://master.php.net/manage/user-notes.php?action=delete+61951&report=yes&reason=spam Delete: useless -- http://master.php.net/manage/user-notes.php?action=delete+61951&report=yes&reason=useless Delete: non-english -- http://master.php.net/manage/user-notes.php?action=delete+61951&report=yes&reason=non-english Delete: already in docs -- http://master.php.net/manage/user-notes.php?action=delete+61951&report=yes&reason=already+in+docs Delete: other reasons -- http://master.php.net/manage/user-notes.php?action=delete+61951&report=yes Reject -- http://master.php.net/manage/user-notes.php?action=reject+61951&report=yes Search -- http://master.php.net/manage/user-notes.php