mirror of
https://github.com/MarioSpore/Grinch-AP.git
synced 2025-10-21 20:21:32 -06:00
optimize tracker, using more RAM, less CPU
This commit is contained in:
@@ -8,7 +8,7 @@ db = Database()
|
||||
class Patch(db.Entity):
|
||||
id = PrimaryKey(int, auto=True)
|
||||
player = Required(int)
|
||||
data = Required(buffer)
|
||||
data = Required(buffer, lazy=True)
|
||||
seed = Optional('Seed')
|
||||
|
||||
|
||||
@@ -19,7 +19,7 @@ class Room(db.Entity):
|
||||
owner = Required(UUID, index=True)
|
||||
commands = Set('Command')
|
||||
seed = Required('Seed', index=True)
|
||||
multisave = Optional(Json)
|
||||
multisave = Optional(Json, lazy=True)
|
||||
show_spoiler = Required(int, default=0) # 0 -> never, 1 -> after completion, -> 2 always
|
||||
timeout = Required(int, default=lambda: 6)
|
||||
tracker = Optional(UUID, index=True)
|
||||
@@ -29,11 +29,11 @@ class Room(db.Entity):
|
||||
class Seed(db.Entity):
|
||||
id = PrimaryKey(UUID, default=uuid4)
|
||||
rooms = Set(Room)
|
||||
multidata = Optional(Json)
|
||||
multidata = Optional(Json, lazy=True)
|
||||
owner = Required(UUID, index=True)
|
||||
creation_time = Required(datetime, default=lambda: datetime.utcnow())
|
||||
patches = Set(Patch)
|
||||
spoiler = Optional(str)
|
||||
spoiler = Optional(str, lazy=True)
|
||||
|
||||
|
||||
class Command(db.Entity):
|
||||
|
||||
Reference in New Issue
Block a user