github :: LoaderConfig :: db_name
# MongoDB DB used for data persistence fun db_name: String do return opt_db_name.value or else ini["db.name"] or else default_db_name end