- Option opt(n, v, d);
- if(pending_options.count(n))
- opt.value = pending_options[n];
- options.insert(OptionMap::value_type(n, opt));
-}
-
-const Config::Option &Config::get_option(const string &name) const
-{
- return get_item(options, name);
-}
-
-bool Config::is_option(const string &name) const
-{
- return options.count(name);
-}
-
-bool Config::update(const StringMap &opts)
-{
- bool changed_now = false;
- for(StringMap::const_iterator i=opts.begin(); i!=opts.end(); ++i)
- {
- if(set_option(i->first, i->second) && i->first!="profile")
- changed_now = true;
- }
-
- if(changed_now)
- {
- mtime = Time::now();
- changed = true;
- }