Lori 0.12.0 added a general-purpose one-shot timer via set_timer() on TCPConnection and _on_timer(token: TimerToken) on ServerLifecycleEventReceiver. Mare currently stubs _on_timer as a no-op and doesn't expose this to users.
Exposing it would involve:
- Adding a
set_timer() method on WebSocketServer that forwards to _tcp_connection
- Adding an
on_timer callback to WebSocketLifecycleEventReceiver
- Deciding whether
_on_timer should route through the state machine or go directly to the user callback
Lori 0.12.0 added a general-purpose one-shot timer via
set_timer()onTCPConnectionand_on_timer(token: TimerToken)onServerLifecycleEventReceiver. Mare currently stubs_on_timeras a no-op and doesn't expose this to users.Exposing it would involve:
set_timer()method onWebSocketServerthat forwards to_tcp_connectionon_timercallback toWebSocketLifecycleEventReceiver_on_timershould route through the state machine or go directly to the user callback