API Reference
WebSocket module for real-time notifications and communication.
WebSocketManager
Manage active WebSocket connections per user.
Maintains a registry of authenticated WebSocket connections indexed by user ID, enabling message broadcasting and targeted notifications.
Attributes:
| Name | Type | Description |
|---|---|---|
active_connections |
dict[int, WebSocket]
|
Maps user IDs to their WebSocket. |
Source code in backend/app/websocket/manager.py
8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 | |
__init__
__init__()
Initialize the WebSocket manager with empty connections.
Source code in backend/app/websocket/manager.py
20 21 22 | |
broadcast
async
broadcast(message)
Send a JSON message to all connected users.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
message
|
dict
|
JSON-serializable data to broadcast. |
required |
Source code in backend/app/websocket/manager.py
61 62 63 64 65 66 67 68 69 | |
connect
async
connect(user_id, websocket)
Accept and register a new WebSocket connection.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
user_id
|
int
|
The user's unique identifier. |
required |
websocket
|
WebSocket
|
The WebSocket connection to register. |
required |
Source code in backend/app/websocket/manager.py
24 25 26 27 28 29 30 31 32 33 34 | |
disconnect
disconnect(user_id)
Remove a user's WebSocket connection.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
user_id
|
int
|
The user's unique identifier. |
required |
Source code in backend/app/websocket/manager.py
36 37 38 39 40 41 42 43 44 45 46 47 | |
get_connection
get_connection(user_id)
Retrieve a user's WebSocket connection.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
user_id
|
int
|
The user's unique identifier. |
required |
Returns:
| Type | Description |
|---|---|
WebSocket | None
|
The WebSocket connection or None if not found. |
Source code in backend/app/websocket/manager.py
71 72 73 74 75 76 77 78 79 80 81 | |
send_message
async
send_message(user_id, message)
Send a JSON message to a specific user.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
user_id
|
int
|
The user's unique identifier. |
required |
message
|
dict
|
JSON-serializable data to send. |
required |
Source code in backend/app/websocket/manager.py
49 50 51 52 53 54 55 56 57 58 59 | |
get_websocket_manager
cached
get_websocket_manager()
Get the singleton WebSocket manager instance.
Returns:
| Type | Description |
|---|---|
WebSocketManager
|
The shared WebSocketManager instance. |
Source code in backend/app/websocket/manager.py
84 85 86 87 88 89 90 91 92 | |
notify_frontend
async
notify_frontend(user_id, websocket_manager, json_data)
Send a JSON message to a user's WebSocket connection.
Attempts to send data to the user's WebSocket. For MFA verification, raises an exception if no connection exists.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
user_id
|
int
|
The target user's identifier. |
required |
websocket_manager
|
WebSocketManager
|
The WebSocket connection manager. |
required |
json_data
|
dict
|
JSON-serializable data to send. |
required |
Returns:
| Type | Description |
|---|---|
bool
|
True if message was sent, False if no connection. |
Raises:
| Type | Description |
|---|---|
HTTPException
|
If MFA_REQUIRED but no connection exists. |
Source code in backend/app/websocket/utils.py
6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 | |