Spaces:
Building
Building
Update websocket_manager.py
Browse files- websocket_manager.py +7 -7
websocket_manager.py
CHANGED
@@ -209,15 +209,15 @@ class WebSocketManager:
|
|
209 |
while connection.is_active:
|
210 |
# Receive message
|
211 |
message = await connection.receive_json()
|
212 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
213 |
# Route message based on type
|
214 |
await self._route_client_message(session_id, message)
|
215 |
-
|
216 |
-
log_debug(
|
217 |
-
f"📨 Received message",
|
218 |
-
session_id=session_id,
|
219 |
-
message_type=message.get("type")
|
220 |
-
)
|
221 |
|
222 |
except WebSocketDisconnect:
|
223 |
log_info(f"Client disconnected", session_id=session_id)
|
|
|
209 |
while connection.is_active:
|
210 |
# Receive message
|
211 |
message = await connection.receive_json()
|
212 |
+
|
213 |
+
log_debug(
|
214 |
+
f"📨 Received message",
|
215 |
+
session_id=session_id,
|
216 |
+
message_type=message.get("type")
|
217 |
+
)
|
218 |
+
|
219 |
# Route message based on type
|
220 |
await self._route_client_message(session_id, message)
|
|
|
|
|
|
|
|
|
|
|
|
|
221 |
|
222 |
except WebSocketDisconnect:
|
223 |
log_info(f"Client disconnected", session_id=session_id)
|