fix: update types for heartbeat interval and constructor logger in DashboardServer and QueryDiversityEngine

This commit is contained in:
2025-12-06 14:42:30 +01:00
parent 0bef406d2e
commit 38d9f1e48d
3 changed files with 13 additions and 2 deletions

View File

@@ -21,7 +21,7 @@ export class DashboardServer {
private server: ReturnType<typeof createServer>
private wss: WebSocketServer
private clients: Set<WebSocket> = new Set()
private heartbeatInterval?: NodeJS.Timer
private heartbeatInterval?: NodeJS.Timeout
private dashboardLimiter = rateLimit({
windowMs: 15 * 60 * 1000, // 15 minutes
max: 100, // limit each IP to 100 requests per windowMs for dashboard UI