On Windows, the socket type is not an int but rather SOCKET which
is actually unsigned int on x86 and unsigned __int64 on x64. To
cater to this type mismatch, PHP offers the portable php_socket_t (at
least as of PHP 5.0.0). We use it for php_ssh2_session_data as well.
Note that this patch constitutes an ABI break, and as such likely needs to be postponed to the next major version. :(
On Windows, the socket type is not an
intbut ratherSOCKETwhich is actuallyunsigned inton x86 andunsigned __int64on x64. To cater to this type mismatch, PHP offers the portablephp_socket_t(at least as of PHP 5.0.0). We use it forphp_ssh2_session_dataas well.Note that this patch constitutes an ABI break, and as such likely needs to be postponed to the next major version. :(