network_udp.c
changeset 985 ef5ba72aca89
parent 903 f860c7234167
child 1011 2587838541bf
--- a/network_udp.c	Tue Jan 11 12:15:08 2005 +0000
+++ b/network_udp.c	Tue Jan 11 15:52:18 2005 +0000
@@ -368,17 +368,23 @@
 	DEBUG(net, 1) ("[NET][UDP] Closed listeners");
 
 	if (_network_udp_server) {
-		closesocket(_udp_server_socket);
-		_udp_server_socket = INVALID_SOCKET;
+		if (_udp_server_socket != INVALID_SOCKET) {
+			closesocket(_udp_server_socket);
+			_udp_server_socket = INVALID_SOCKET;
+		}
 
-		closesocket(_udp_master_socket);
-		_udp_master_socket = INVALID_SOCKET;
+		if (_udp_master_socket != INVALID_SOCKET) {
+			closesocket(_udp_master_socket);
+			_udp_master_socket = INVALID_SOCKET;
+		}
 
 		_network_udp_server = false;
 		_network_udp_broadcast = 0;
 	} else {
-		closesocket(_udp_client_socket);
-		_udp_client_socket = INVALID_SOCKET;
+		if (_udp_client_socket != INVALID_SOCKET) {
+			closesocket(_udp_client_socket);
+			_udp_client_socket = INVALID_SOCKET;
+		}
 		_network_udp_broadcast = 0;
 	}
 }