1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-06-27 16:36:03 +00:00

settings manager: better default setting handling and updating config file and command line parsing

This commit is contained in:
Perttu Ahola 2010-12-14 15:16:49 +02:00
parent f501cfd799
commit 385dd9917f
7 changed files with 382 additions and 56 deletions

View file

@ -124,6 +124,14 @@ public:
{}
};
class CommandLineError : public BaseException
{
public:
CommandLineError(const char *s):
BaseException(s)
{}
};
/*
Some "old-style" interrupts:
*/