Changeset 16ae75ffd14588202aace31aaacf230469fd0758

Timestamp:

06/26/10 16:11:46 (2 years ago)

Author:

Antti-Juhani Kaijanaho <ajk@…>

Children:

341603a0f7acf173ecace38718deb66801483644

Parents:

8d4f7f7d0239d22536f28b4900b2931d40a8537f

git-committer:

Antti-Juhani Kaijanaho <ajk@…> (06/26/10 16:11:46)

Message:

Work around a bug in Boost

Signed-off-by: Antti-Juhani Kaijanaho <ajk@…>

Files:

• logger/logger.cc (modified) (3 diffs)

logger/logger.cc

@@ -20 +20 @@
 #include "logger.hh"
 
+#include <boost/date_time.hpp>
 #include <iostream>
 
@@ -28 +29 @@
         void logger_::open(std::string logfile) 
         {
+                using namespace boost::posix_time;
                 m.lock();
                 if (dirty) this->os->flush();
@@ -34 +36 @@
                         (logfile.c_str(), std::ios_base::app);
                 if (!os)
-                        throw std::runtime_error("cannot open logfile");
-                dirty = false;
+                        throw std::runtime_error("cannot open logfile");
+                std::locale loc = os->getloc();
+                time_facet *tf = new time_facet();
+                tf->time_duration_format("%O:%M:%S%F");
+                os->imbue(std::locale(loc, tf));
+                dirty = false;
                 ours = true;
                 m.unlock();