From 9ccb1520c9c6766071504812284b68a19dbb6337 Mon Sep 17 00:00:00 2001
From: Joseph Heck <heckj@mac.com>
Date: Tue, 14 May 2024 10:17:06 -0700
Subject: [PATCH] at the risk of duplicate state notifications, adding in a few
 spots of disconnect that happens during read errors or exception handling
 (#94)

---
 .../AutomergeRepo/Networking/Providers/WebSocketProvider.swift  | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Sources/AutomergeRepo/Networking/Providers/WebSocketProvider.swift b/Sources/AutomergeRepo/Networking/Providers/WebSocketProvider.swift
index e552a24..b30bfe9 100644
--- a/Sources/AutomergeRepo/Networking/Providers/WebSocketProvider.swift
+++ b/Sources/AutomergeRepo/Networking/Providers/WebSocketProvider.swift
@@ -419,6 +419,7 @@ public final class WebSocketProvider: NetworkProvider {
             } catch {
                 // error scenario with the WebSocket connection
                 Logger.websocket.warning("WEBSOCKET: Error reading websocket: \(error.localizedDescription)")
+                statePublisher.send(.disconnected)
                 peered = false
                 msgFromWebSocket = nil
             }
@@ -443,6 +444,7 @@ public final class WebSocketProvider: NetworkProvider {
         self.peered = false
         webSocketTask?.cancel()
         webSocketTask = nil
+        statePublisher.send(.disconnected)
         Logger.websocket.warning("WEBSOCKET: receive and reconnect loop terminated")
     }