configobj for runtime_config

2017-09-06 15:25:38 +02:00 · 2015-12-20 15:24:42 +01:00
parent c29ce94a3d
commit 6c3ba11eb6
9 changed files with 228 additions and 245 deletions
--- a/persistent_config.ini.spec
+++ b/persistent_config.ini.spec
@@ -0,0 +1,11 @@
+# [main]
+other_bots = string_list(default=list())
+
+[plugins]
+  [[info]]
+    enabled = boolean(default=true)
+  last_dsa = integer(default=0)  # TODO broken
+
+[user_pref]
+
+[user_records]