mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-28 09:58:15 +00:00
227738cb6f
This also adds a few utility switches which people are probably already familiarized with from the game proper. Most notably this means I don't need to alter and recompile campaignd any time I want different logging settings. There's some functionality commented out in this commit while I figure out how to wire it into the campaignd server class.