我正在尝试使用Python通过WebSocket与Web服务器建立连接。然而，我总是无法做到这一点，因为我不断得到错误：[Errno 11001] getaddrinfo失败
知道是哪里出了问题吗以及如何解决这个问题。谢谢你。
这是我的client.py代码，它应该通过WebSocket连接到Web服务器：

import asyncio
import websockets
from websockets.sync.client import connect

def connection():
    with connect("ws://http://<ip address>") as ws:
        ws.send("Hello world!")
        message = ws.recv()
        print(f"Received: {message}")

if __name__ == "__main__":
    connection()

以下是错误消息：

line 14, in <module>
    connection()

line 7, in connection
    with connect("ws://http://<ip address>/") as ws:

line 247, in connect
    sock = socket.create_connection(

line 824, in create_connection
    for res in getaddrinfo(host, port, 0, SOCK_STREAM):

line 955, in getaddrinfo
    for res in _socket.getaddrinfo(host, port, family, type, proto, flags):
socket.gaierror: [Errno 11001] getaddrinfo failed