Setting the socket timeout microseconds ('usec') does not work under Windows, at least under PHP/5.2.9:
<?php
$timeout = array('sec'=>1,'usec'=>500000);
socket_set_option($socket,SOL_SOCKET,SO_RCVTIMEO,$timeout);
var_dump(socket_set_option($socket,SOL_SOCKET,SO_RCVTIMEO));
?>
Output on Windows box:
array(2) {
["sec"]=>
int(1)
["usec"]=>
int(0)
}
Output on Linux box:
array(2) {
["sec"]=>
int(1)
["usec"]=>
int(500000)
}