mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-03 22:51:27 +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.