Import ConnectionClosed from websockets.exceptions.

Fix #1539.

docs/faq/client.rst

@@ -84,11 +84,12 @@ How do I reconnect when the connection drops?
 Use :func:`~websockets.asyncio.client.connect` as an asynchronous iterator::
 
     from websockets.asyncio.client import connect
+    from websockets.exceptions import ConnectionClosed
 
     async for websocket in connect(...):
         try:
             ...
-        except websockets.ConnectionClosed:
+        except ConnectionClosed:
             continue
 
 Make sure you handle exceptions in the ``async for`` loop. Uncaught exceptions

docs/faq/server.rst

@@ -147,7 +147,7 @@ Then, call :meth:`~ServerConnection.send`::
 
     async def message_user(user_id, message):
         websocket = CONNECTIONS[user_id]  # raises KeyError if user disconnected
-        await websocket.send(message)  # may raise websockets.ConnectionClosed
+        await websocket.send(message)  # may raise websockets.exceptions.ConnectionClosed
 
 Add error handling according to the behavior you want if the user disconnected
 before the message could be sent.

docs/intro/tutorial1.rst

@@ -271,11 +271,13 @@ spot real errors when you add functionality to the server. Catch it in the
 
 .. code-block:: python
 
+    from websockets.exceptions import ConnectionClosedOK
+
     async def handler(websocket):
         while True:
             try:
                 message = await websocket.recv()
-            except websockets.ConnectionClosedOK:
+            except ConnectionClosedOK:
                 break
             print(message)
 

src/websockets/asyncio/client.py

@@ -182,7 +182,7 @@ class connect:
         async for websocket in connect(...):
             try:
                 ...
-            except websockets.ConnectionClosed:
+            except websockets.exceptions.ConnectionClosed:
                 continue
 
     If the connection fails with a transient error, it is retried with

src/websockets/legacy/client.py

@@ -349,7 +349,7 @@ class Connect:
         async for websocket in connect(...):
             try:
                 ...
-            except websockets.ConnectionClosed:
+            except websockets.exceptions.ConnectionClosed:
                 continue
 
     The connection is closed automatically after each iteration of the loop.