2024-05-04 04:18:21 +00:00
|
|
|
import asyncio
|
2024-05-04 20:35:42 +00:00
|
|
|
from collections import deque
|
2024-05-05 14:14:54 +00:00
|
|
|
from json import dumps, loads
|
2024-05-04 04:18:21 +00:00
|
|
|
from logging import getLogger
|
|
|
|
from threading import Thread
|
2024-05-05 14:14:54 +00:00
|
|
|
from typing import Dict, Tuple
|
2024-05-04 04:18:21 +00:00
|
|
|
|
|
|
|
import websockets
|
|
|
|
|
2024-05-05 14:14:54 +00:00
|
|
|
from adventure.context import get_actor_agent_for_name
|
2024-05-04 04:18:21 +00:00
|
|
|
from adventure.models import Actor, Room, World
|
2024-05-05 14:14:54 +00:00
|
|
|
from adventure.player import RemotePlayer
|
2024-05-04 04:18:21 +00:00
|
|
|
from adventure.state import snapshot_world, world_json
|
|
|
|
|
|
|
|
logger = getLogger(__name__)
|
|
|
|
|
|
|
|
connected = set()
|
2024-05-05 14:14:54 +00:00
|
|
|
characters: Dict[str, RemotePlayer] = {}
|
|
|
|
recent_events = deque(maxlen=100)
|
2024-05-04 20:35:42 +00:00
|
|
|
recent_world = None
|
2024-05-04 04:18:21 +00:00
|
|
|
|
|
|
|
|
|
|
|
async def handler(websocket):
|
2024-05-04 20:35:42 +00:00
|
|
|
logger.info("Client connected")
|
2024-05-04 04:18:21 +00:00
|
|
|
connected.add(websocket)
|
2024-05-04 20:35:42 +00:00
|
|
|
|
2024-05-05 14:14:54 +00:00
|
|
|
async def next_turn(character: str, prompt: str) -> None:
|
|
|
|
await websocket.send(connected, dumps({
|
|
|
|
"type": "turn",
|
|
|
|
"character": character,
|
|
|
|
"prompt": prompt,
|
|
|
|
}))
|
|
|
|
|
|
|
|
def sync_turn(character: str, prompt: str) -> bool:
|
|
|
|
if websocket not in characters:
|
|
|
|
return False
|
|
|
|
|
|
|
|
asyncio.run(next_turn(character, prompt))
|
|
|
|
return True
|
|
|
|
|
2024-05-04 20:35:42 +00:00
|
|
|
try:
|
|
|
|
if recent_world:
|
|
|
|
await websocket.send(recent_world)
|
|
|
|
|
|
|
|
for message in recent_events:
|
|
|
|
await websocket.send(message)
|
|
|
|
except Exception:
|
|
|
|
logger.exception("Failed to send recent messages to new client")
|
|
|
|
|
2024-05-04 04:18:21 +00:00
|
|
|
while True:
|
|
|
|
try:
|
2024-05-05 14:14:54 +00:00
|
|
|
# if this socket is attached to a character and that character's turn is active, wait for input
|
2024-05-04 04:18:21 +00:00
|
|
|
message = await websocket.recv()
|
2024-05-05 14:14:54 +00:00
|
|
|
logger.info(f"Received message: {message}")
|
|
|
|
|
|
|
|
try:
|
|
|
|
data = loads(message)
|
|
|
|
if "become" in data:
|
|
|
|
character = characters.get(websocket)
|
|
|
|
if character:
|
|
|
|
del characters[websocket]
|
|
|
|
|
|
|
|
character_name = data["become"]
|
|
|
|
actor, _ = get_actor_agent_for_name(character_name)
|
|
|
|
if not actor:
|
|
|
|
logger.error(f"Failed to find actor {character_name}")
|
|
|
|
continue
|
|
|
|
|
|
|
|
if character_name in [player.name for player in characters.values()]:
|
|
|
|
logger.error(f"Character {character_name} is already in use")
|
|
|
|
continue
|
|
|
|
|
|
|
|
characters[websocket] = RemotePlayer(actor.name, actor.backstory, sync_turn)
|
|
|
|
logger.info(f"Client {websocket} is now character {character_name}")
|
|
|
|
elif websocket in characters:
|
|
|
|
player = characters[websocket]
|
|
|
|
player.input_queue.put(message)
|
|
|
|
|
|
|
|
except Exception:
|
|
|
|
logger.exception("Failed to parse message")
|
2024-05-04 04:18:21 +00:00
|
|
|
except websockets.ConnectionClosedOK:
|
|
|
|
break
|
|
|
|
|
|
|
|
connected.remove(websocket)
|
2024-05-05 14:14:54 +00:00
|
|
|
|
|
|
|
# TODO: swap out the character for the original agent
|
|
|
|
if websocket in characters:
|
|
|
|
del characters[websocket]
|
|
|
|
|
2024-05-04 20:35:42 +00:00
|
|
|
logger.info("Client disconnected")
|
2024-05-04 04:18:21 +00:00
|
|
|
|
|
|
|
|
|
|
|
socket_thread = None
|
|
|
|
static_thread = None
|
|
|
|
|
|
|
|
|
2024-05-04 20:35:42 +00:00
|
|
|
def server_json(obj):
|
|
|
|
if isinstance(obj, Actor):
|
|
|
|
return obj.name
|
|
|
|
|
|
|
|
if isinstance(obj, Room):
|
|
|
|
return obj.name
|
|
|
|
|
|
|
|
return world_json(obj)
|
|
|
|
|
|
|
|
|
|
|
|
def send_and_append(message):
|
|
|
|
json_message = dumps(message, default=server_json)
|
|
|
|
recent_events.append(json_message)
|
|
|
|
websockets.broadcast(connected, json_message)
|
|
|
|
return json_message
|
|
|
|
|
|
|
|
|
2024-05-04 04:18:21 +00:00
|
|
|
def launch_server():
|
|
|
|
global socket_thread, static_thread
|
|
|
|
|
|
|
|
def run_sockets():
|
|
|
|
asyncio.run(server_main())
|
|
|
|
|
|
|
|
socket_thread = Thread(target=run_sockets)
|
|
|
|
socket_thread.start()
|
|
|
|
|
|
|
|
|
|
|
|
async def server_main():
|
|
|
|
async with websockets.serve(handler, "", 8001):
|
|
|
|
logger.info("Server started")
|
|
|
|
await asyncio.Future() # run forever
|
|
|
|
|
|
|
|
|
|
|
|
def server_system(world: World, step: int):
|
2024-05-04 20:35:42 +00:00
|
|
|
global recent_world
|
2024-05-04 04:18:21 +00:00
|
|
|
json_state = {
|
|
|
|
**snapshot_world(world, step),
|
|
|
|
"type": "world",
|
|
|
|
}
|
2024-05-04 20:35:42 +00:00
|
|
|
recent_world = send_and_append(json_state)
|
2024-05-04 04:18:21 +00:00
|
|
|
|
|
|
|
|
|
|
|
def server_result(room: Room, actor: Actor, action: str):
|
|
|
|
json_action = {
|
2024-05-04 20:35:42 +00:00
|
|
|
"actor": actor,
|
2024-05-04 04:18:21 +00:00
|
|
|
"result": action,
|
2024-05-04 20:35:42 +00:00
|
|
|
"room": room,
|
2024-05-04 04:18:21 +00:00
|
|
|
"type": "result",
|
|
|
|
}
|
2024-05-04 20:35:42 +00:00
|
|
|
send_and_append(json_action)
|
2024-05-04 04:18:21 +00:00
|
|
|
|
|
|
|
|
2024-05-04 20:35:42 +00:00
|
|
|
def server_action(room: Room, actor: Actor, message: str):
|
2024-05-04 04:18:21 +00:00
|
|
|
json_input = {
|
2024-05-04 20:35:42 +00:00
|
|
|
"actor": actor,
|
2024-05-04 04:18:21 +00:00
|
|
|
"input": message,
|
2024-05-04 20:35:42 +00:00
|
|
|
"room": room,
|
|
|
|
"type": "action",
|
|
|
|
}
|
|
|
|
send_and_append(json_input)
|
|
|
|
|
|
|
|
|
|
|
|
def server_event(message: str):
|
|
|
|
json_broadcast = {
|
|
|
|
"message": message,
|
|
|
|
"type": "event",
|
2024-05-04 04:18:21 +00:00
|
|
|
}
|
2024-05-04 20:35:42 +00:00
|
|
|
send_and_append(json_broadcast)
|