use closesocket() on Win32 and close() on *nix

diff --git a/main/network.c b/main/network.c
index d58657e815d01ecf595ab46f03e9d098f3ba73f6..148d2b3b682813b9b132b2c9d58dbdcc0edd6d89 100644 (file)
--- a/main/network.c
+++ b/main/network.c
@@ -441,7 +441,7 @@ php_socket_t php_network_bind_socket_to_local_addr(const char *host, unsigned po
                        err = php_socket_errno();
                }
 
-               close(sock);
+               closesocket(sock);
        }
        sock = -1;
 
@@ -870,7 +870,7 @@ skip_bind:
 #endif
                }
 
-               close(sock);
+               closesocket(sock);
        }
        sock = -1;