make time format easier to read

diff --git a/src/include/utime.h b/src/include/utime.h
index 3e39c5b6019884ad7c59001e1708ac1899bf0f26..d813a4bb59ba9820e12090ba56939a802f054cba 100644 (file)
--- a/src/include/utime.h
+++ b/src/include/utime.h
@@ -186,12 +186,12 @@ inline std::ostream& operator<<(std::ostream& out, const utime_t& t)
     time_t tt = t.sec();
     localtime_r(&tt, &bdt);
     out << std::setw(2) << (bdt.tm_year-100)  // 2007 -> '07'
-       << std::setw(2) << (bdt.tm_mon+1)
-       << std::setw(2) << bdt.tm_mday
-       << "."
+       << '.' << std::setw(2) << (bdt.tm_mon+1)
+       << '.' << std::setw(2) << bdt.tm_mday
+       << ' '
        << std::setw(2) << bdt.tm_hour
-       << std::setw(2) << bdt.tm_min
-       << std::setw(2) << bdt.tm_sec;
+       << ':' << std::setw(2) << bdt.tm_min
+       << ':' << std::setw(2) << bdt.tm_sec;
   }
   out << ".";
   out << std::setw(6) << t.usec();