I am currently writing a flask based frontend for a university project. One of the settings an admin can change is to set a value between -1 and 12 to set the currently active repo the students can upload to.
I want the admin to be able to set this setting and then keep it persistent between server restarts. My first thought was to use the flask app config to save it as a key value. However this is not consistent between server restarts. So my next thought is to save this in a seperate configuration file or alternatively in a database, though the latter seems to be overkill for this single setting.
Is there a better way to handle this beyond a seperate configuration file that contains this value and gets imported on startup?