bruno
3913f9f129
- Passerelle WebSocket WS /ws/pages/{page_id} (auth cookie, close 4401/4404), rooms par page en mémoire
- Protocole hello/sync/op/ack/title/sel/ping/peer_join/peer_leave ; version de page + stale => resync
- Merge des ops de blocs insert/update/delete/move, last-write-wins par bloc, ordre d'arrivée
- Client éditeur : diff local -> ops (debounce), application distante discret (LWW sur bloc focalisé), re-focus du bloc actif
- Présence (avatars topbar) + curseurs live (calque dédié, positions à l'édition/au scroll)
- Titre synchronisé (debounce) sans écraser le titre en cours d'édition
- Fallback polling 10 s si WS indisponible (adopté seulement sans brouillon local) + reconnexion auto
- Persistance debounce ~1 s (content/title) + flush à la déconnexion du dernier client
- CSP connect-src étendu à ws: ; peers sans données sensibles (id/login/full_name/couleur)
- 12 tests tests/test_realtime.py (auth, page absente, hello->sync, LWW 2 clients + persistance, présence, curseurs, titre, stale resync, apply_op/merge_ops) ; suite 298 verte (3 PDF pré-existants)
- Bump v5.3.0 (VERSION, main.py, CHANGELOG) ; ROADMAP v5.13.0 livré
49 lines
1.3 KiB
Python
49 lines
1.3 KiB
Python
"""FlowDeck — v5.13.0 Realtime: WebSocket gateway /ws/pages/{page_id}.
|
|
|
|
Auth via cookie session (flowdeck_session). Rooms in-memory par page.
|
|
"""
|
|
from __future__ import annotations
|
|
|
|
import json
|
|
import logging
|
|
|
|
from fastapi import APIRouter, WebSocket
|
|
from starlette.websockets import WebSocketDisconnect
|
|
|
|
from app.auth.session import SessionManager
|
|
from app.services.realtime_server import manager
|
|
|
|
logger = logging.getLogger(__name__)
|
|
router = APIRouter(tags=["realtime"])
|
|
|
|
|
|
@router.websocket("/ws/pages/{page_id}")
|
|
async def ws_page(websocket: WebSocket, page_id: int):
|
|
await websocket.accept()
|
|
user = SessionManager.decode_session(
|
|
websocket.cookies.get("flowdeck_session", "")
|
|
)
|
|
if not user or not user.get("id"):
|
|
try:
|
|
await websocket.close(code=4401)
|
|
except Exception:
|
|
pass
|
|
return
|
|
|
|
conn = await manager.connect(websocket, page_id, user)
|
|
if not conn:
|
|
return
|
|
try:
|
|
while True:
|
|
raw = await websocket.receive_text()
|
|
try:
|
|
msg = json.loads(raw)
|
|
except (TypeError, ValueError):
|
|
continue
|
|
await manager.handle(conn, msg)
|
|
except WebSocketDisconnect:
|
|
pass
|
|
except Exception as e: # noqa: BLE001
|
|
logger.debug("ws closed: %s", e)
|
|
finally:
|
|
await manager.disconnect(conn) |