crafty-4/app/classes/shared/websocket_manager.py

119 lines
4.0 KiB
Python
Raw Normal View History

import json
import logging
from app.classes.shared.singleton import Singleton
from app.classes.shared.console import Console
from app.classes.models.users import HelperUsers
logger = logging.getLogger(__name__)
class WebSocketManager(metaclass=Singleton):
def __init__(self):
2023-09-05 21:00:52 +00:00
self.clients = set()
def add_client(self, client):
2023-09-05 21:00:52 +00:00
self.clients.add(client)
def remove_client(self, client):
2023-09-05 21:00:52 +00:00
if client in self.clients:
self.clients.remove(client)
else:
logger.exception("Error caught while removing unknown WebSocket client")
def broadcast(self, event_type: str, data):
logger.debug(
2023-09-05 21:00:52 +00:00
f"Sending to {len(self.clients)} clients: "
f"{json.dumps({'event': event_type, 'data': data})}"
)
2023-09-05 21:00:52 +00:00
for client in self.clients:
try:
client.send_message(event_type, data)
except Exception as e:
logger.exception(
f"Error caught while sending WebSocket message to "
f"{client.get_remote_ip()} {e}"
)
def broadcast_to_admins(self, event_type: str, data):
def filter_fn(client):
if client.get_user_id in HelperUsers.get_super_user_list():
return True
return False
self.broadcast_with_fn(filter_fn, event_type, data)
def broadcast_page(self, page: str, event_type: str, data):
def filter_fn(client):
2023-09-05 21:08:40 +00:00
return client.page == page
self.broadcast_with_fn(filter_fn, event_type, data)
def broadcast_user(self, user_id: str, event_type: str, data):
def filter_fn(client):
return client.get_user_id() == user_id
self.broadcast_with_fn(filter_fn, event_type, data)
def broadcast_user_page(self, page: str, user_id: str, event_type: str, data):
def filter_fn(client):
if client.get_user_id() != user_id:
return False
if client.page != page:
return False
return True
self.broadcast_with_fn(filter_fn, event_type, data)
def broadcast_user_page_params(
self, page: str, params: dict, user_id: str, event_type: str, data
):
def filter_fn(client):
if client.get_user_id() != user_id:
return False
if client.page != page:
return False
for key, param in params.items():
if param != client.page_query_params.get(key, None):
return False
return True
self.broadcast_with_fn(filter_fn, event_type, data)
def broadcast_page_params(self, page: str, params: dict, event_type: str, data):
def filter_fn(client):
if client.page != page:
return False
for key, param in params.items():
if param != client.page_query_params.get(key, None):
return False
return True
self.broadcast_with_fn(filter_fn, event_type, data)
def broadcast_with_fn(self, filter_fn, event_type: str, data):
2022-10-02 18:29:36 +00:00
# assign self.clients to a static variable here so hopefully
# the set size won't change
2023-09-05 21:00:52 +00:00
static_clients = self.clients
2022-10-02 18:29:36 +00:00
clients = list(filter(filter_fn, static_clients))
logger.debug(
2023-08-27 12:10:20 +00:00
f"Sending to {len(clients)} \
2023-09-05 21:00:52 +00:00
out of {len(self.clients)} "
f"clients: {json.dumps({'event': event_type, 'data': data})}"
)
for client in clients[:]:
try:
client.send_message(event_type, data)
except Exception as e:
logger.exception(
f"Error catched while sending WebSocket message to "
f"{client.get_remote_ip()} {e}"
)
def disconnect_all(self):
Console.info("Disconnecting WebSocket clients")
2023-09-05 21:00:52 +00:00
for client in self.clients:
client.close()
Console.info("Disconnected WebSocket clients")