mirror of
https://github.com/MarioSpore/Grinch-AP.git
synced 2025-10-21 20:21:32 -06:00
6421a373e1
introduce a very WIP tracker Server will try to reuse port and also try to only use one port
43 lines
987 B
Python
43 lines
987 B
Python
from datetime import datetime
|
|
from uuid import UUID, uuid4
|
|
from pony.orm import *
|
|
|
|
db = Database()
|
|
|
|
|
|
class Patch(db.Entity):
|
|
id = PrimaryKey(int, auto=True)
|
|
data = Required(buffer)
|
|
simple_seed = Required('Seed')
|
|
|
|
|
|
class Room(db.Entity):
|
|
id = PrimaryKey(int, auto=True)
|
|
last_activity = Required(datetime, default=lambda: datetime.utcnow())
|
|
owner = Required(UUID)
|
|
commands = Set('Command')
|
|
seed = Required('Seed')
|
|
multisave = Optional(Json)
|
|
timeout = Required(int, default=lambda: 6)
|
|
allow_tracker = Required(bool, default=True)
|
|
last_port = Optional(int, default=lambda: 0)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Seed(db.Entity):
|
|
id = PrimaryKey(int, auto=True)
|
|
rooms = Set(Room)
|
|
multidata = Optional(Json)
|
|
creation_time = Required(datetime, default=lambda: datetime.utcnow())
|
|
patches = Set(Patch)
|
|
spoiler = Optional(str)
|
|
|
|
|
|
class Command(db.Entity):
|
|
id = PrimaryKey(int, auto=True)
|
|
room = Required(Room)
|
|
commandtext = Required(str)
|