diff --git a/dune/stuff/common/parameter/configcontainer.hh b/dune/stuff/common/parameter/configcontainer.hh index d1c6689269d6f0366d63e64b6f129e87695ca9c4..a9c545655d098c8166d3b31ab5bacb97f1b1483f 100644 --- a/dune/stuff/common/parameter/configcontainer.hh +++ b/dune/stuff/common/parameter/configcontainer.hh @@ -132,20 +132,20 @@ public: : warning_output_(false) , tree_(tree) , record_defaults_(false) + , logdir_(boost::filesystem::path(get("global.datadir", "data", false)) / get("logging.dir", "log", false)) { } ConfigContainer() : warning_output_(true) , record_defaults_(false) + , logdir_(boost::filesystem::path(get("global.datadir", "data", false)) / get("logging.dir", "log", false)) { } ~ConfigContainer() { - boost::filesystem::path logdir(get("global.datadir", "data", false)); - logdir /= get("logging.dir", "log", false); - boost::filesystem::ofstream out(logdir / "paramter.log"); + boost::filesystem::ofstream out(logdir_ / "paramter.log"); tree_.report(out); } @@ -271,6 +271,7 @@ private: //! config key -> requests map RequestMapType requests_map_; bool record_defaults_; + const boost::filesystem::path logdir_; }; //! global ConfigContainer instance