sockets extension

Hi,

I have made two patches for two open bugs of the sockets extension.
I would like to ask if someone can review/commit them:

http://bugs.php.net/bug.php?id=35062 - bogus warning produced
http://bugs.php.net/bug.php?id=21197 - php_read() doesn't work on windows

Thanks,
Nuno