Dashboard
Dashboard Statistics API Endpoint.
Provides REST endpoint for dashboard stats and manages periodic WebSocket broadcasts.
broadcast_dashboard_stats_loop(interval_seconds=5)
async
Background task that periodically broadcasts dashboard stats via WebSocket.
Parameters:
-
interval_seconds(int, default:5) –Broadcast interval in seconds (default: 5).
Returns:
-
None–None
Source code in app/api/v1/endpoints/dashboard.py
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 | |
get_dashboard_stats(db)
async
Get current dashboard statistics (REST endpoint).
This provides a synchronous way to fetch stats without WebSocket.
Parameters:
-
db(Annotated[AsyncSession, Depends(get_db)]) –Database session.
Returns:
-
DashboardStats(DashboardStats) –The current dashboard statistics.
Source code in app/api/v1/endpoints/dashboard.py
26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 | |
start_broadcast_task(interval_seconds=5)
async
Start the periodic broadcast background task.
Parameters:
-
interval_seconds(int, default:5) –Broadcast interval in seconds.
Returns:
-
None–None
Source code in app/api/v1/endpoints/dashboard.py
82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 | |
stop_broadcast_task()
async
Stop the periodic broadcast background task.
Returns:
-
None–None
Source code in app/api/v1/endpoints/dashboard.py
103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 | |