properly deinit mail socket

12 years ago · 6c5d7c29f7
1 changed files with 1 additions and 0 deletions
--- a/win32/globals.c
+++ b/win32/globals.c
@ -58,6 +58,7 @@ void php_win32_core_globals_dtor(void *vg)

 	if (INVALID_SOCKET != wg->mail_socket) {
 		closesocket(wg->mail_socket);
+		wg->mail_socket = INVALID_SOCKET;
 	}
 }