Fix socket closing

Author: nikic

ext/sockets/sockets.c

@@ -951,8 +951,14 @@ PHP_FUNCTION(socket_close)
 					PHP_STREAM_FREE_KEEP_RSRC | PHP_STREAM_FREE_CLOSE |
 					(stream->is_persistent?PHP_STREAM_FREE_CLOSE_PERSISTENT:0));
 		}
-		ZVAL_UNDEF(&php_socket->zstream);
+	} else {
+		if (!IS_INVALID_SOCKET(php_socket)) {
+			close(php_socket->bsd_socket);
+		}
 	}
+
+	ZVAL_UNDEF(&php_socket->zstream);
+	php_socket->bsd_socket = -1;
 }
 /* }}} */
 

ext/sockets/tests/socket_export_stream-1.phpt

@@ -20,7 +20,7 @@ var_dump($stream);
 socket_write($s1, "test message");
 socket_close($s1);
 
-//var_dump(stream_get_contents($stream));
+var_dump(stream_get_contents($stream));
 --EXPECTF--
 resource(%d) of type (stream)
 string(12) "test message"