]> git.tdb.fi Git - builder.git/commitdiff
Set config mtime to current time if an option is changed
authorMikko Rasa <tdb@tdb.fi>
Tue, 30 Apr 2013 11:03:40 +0000 (14:03 +0300)
committerMikko Rasa <tdb@tdb.fi>
Tue, 30 Apr 2013 11:03:40 +0000 (14:03 +0300)
This functionality got mistakenly circumvented in commit 3f541fc and then
removed entirely in commit bd61d7f.

source/config.cpp

index 11092c12a26b5a4743ac089b7a8766abf133230a..75784e370d19525bef4e391ffd15d80ff873279a 100644 (file)
@@ -35,6 +35,7 @@ bool Config::set_option(const string &opt, const string &val)
                {
                        result = true;
                        changed = true;
+                       mtime = Time::now();
                }
                i->second.value = val;
        }