Don't fail on disconnected WebSocket connection

backend/sync_server/src/server/create_document.rs

@@ -146,7 +146,7 @@ async fn internal_create_document(
     state
         .broadcasts
         .send(vault_id, new_version.clone().into())
-        .await?;
+        .await;
 
     Ok(Json(new_version.into()))
 }

backend/sync_server/src/server/delete_document.rs

@@ -75,7 +75,7 @@ pub async fn delete_document(
     state
         .broadcasts
         .send(vault_id, new_version.clone().into())
-        .await?;
+        .await;
 
     Ok(Json(new_version.into()))
 }

backend/sync_server/src/server/update_document.rs

@@ -221,7 +221,7 @@ async fn internal_update_document(
     state
         .broadcasts
         .send(vault_id, new_version.clone().into())
-        .await?;
+        .await;
 
     Ok(Json(if is_different_from_request_content {
         DocumentUpdateResponse::MergingUpdate(new_version.into())

backend/sync_server/src/server/websocket.rs

@@ -123,6 +123,11 @@ async fn websocket(
         .context("Websocket send task failed")
         .map_err(server_error)??;
 
+    recv_task
+        .await
+        .context("Websocket receive task failed")
+        .map_err(server_error)?;
+
     Ok(())
 }