note 62334 added to function.stream-set-timeout

stream_set_timeout() is not suitable for such files as UNIX-devices (/dev/...), i suggest to use select() instead with desirable timeout value - that works well. ---- 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+62334 Delete: added to the manual -- http://master.php.net/manage/user-notes.php?action=delete+62334&report=yes&reason=added+to+the+manual Delete: bad code -- http://master.php.net/manage/user-notes.php?action=delete+62334&report=yes&reason=bad+code Delete: spam -- http://master.php.net/manage/user-notes.php?action=delete+62334&report=yes&reason=spam Delete: useless -- http://master.php.net/manage/user-notes.php?action=delete+62334&report=yes&reason=useless Delete: non-english -- http://master.php.net/manage/user-notes.php?action=delete+62334&report=yes&reason=non-english Delete: already in docs -- http://master.php.net/manage/user-notes.php?action=delete+62334&report=yes&reason=already+in+docs Delete: other reasons -- http://master.php.net/manage/user-notes.php?action=delete+62334&report=yes Reject -- http://master.php.net/manage/user-notes.php?action=reject+62334&report=yes Search -- http://master.php.net/manage/user-notes.php