typedef std::map<std::string, Option> OptionMap;
private:
- class Loader: public Msp::DataFile::Loader
+ class Loader: public Msp::DataFile::ObjectLoader<Config>
{
- private:
- Config &conf;
-
public:
Loader(Config &);
private:
OptionMap options;
Msp::Time::TimeStamp mtime;
bool freeze_mtime;
+ bool changed;
public:
Config(SourcePackage &);
present, the default profile is assumed. */
void select_last_profile();
- /** Selects a profile. The profile cache file is updated, unless doing a
- dry run. */
+ /** Selects a profile. */
void select_profile(const std::string &);
/** Processes options from the given raw option map. Nonexistent options