properly deinit mail socket

diff --git a/win32/globals.c b/win32/globals.c
index 32d1aa0e0754f866f0d8d3052f4f205a077ee8d8..485f0f31bb7308154d86070d70a795ad8aff1f64 100644 (file)
--- 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;
        }
 }