# websocket_server/shared_state.py
import threading
connected_workers = {}
worker_lock = threading.Lock()
connected_sids = set()
connected_sids_lock = threading.Lock()
ping_tracker = {} # Maps worker_id → {"ping_id": str, "sent_time": float}