Is your feature request related to a problem? Please describe.
The database doesn't actually write at regular intervals at all, it just writes when its required to service a query. This is a issue for external tools because the contents of the DB can be far detached from the contents in memory.
Describe the solution you'd like
Update the database at some regular interval. Additionally add a configuration option to change the update rate if needed.
server.py has two functions that are used to update the db write_all_players, and write_game
Is your feature request related to a problem? Please describe. The database doesn't actually write at regular intervals at all, it just writes when its required to service a query. This is a issue for external tools because the contents of the DB can be far detached from the contents in memory.
Describe the solution you'd like Update the database at some regular interval. Additionally add a configuration option to change the update rate if needed.
server.py
has two functions that are used to update the dbwrite_all_players
, andwrite_game
Describe alternatives you've considered Realtime?