1 files changed, 55 insertions, 0 deletions
diff --git a/tools/inspect/time_string.hpp b/tools/inspect/time_string.hpp
new file mode 100644
index 0000000000..fc005dddde
--- /dev/null
+++ b/tools/inspect/time_string.hpp
@@ -0,0 +1,55 @@
+// ---- time_string: thin wrapper around std::strftime    -------- //
+//
+//            Copyright Gennaro Prota 2006
+//
+// Distributed under the Boost Software License, Version 1.0.
+//    (See accompanying file LICENSE_1_0.txt or copy at
+//          http://www.boost.org/LICENSE_1_0.txt)
+//
+// ------------------------------------------------------------------
+//
+// $Id: time_string.hpp 47222 2008-07-08 14:29:03Z bemandawes $
+
+#ifndef BOOST_TIME_STRING_HPP_GP_20060731
+#define BOOST_TIME_STRING_HPP_GP_20060731
+
+#include <string>
+#include <ctime>
+
+#include <boost/config/warning_disable.hpp>
+
+namespace boost {
+
+// Many of the boost tools just need a quick way to obtain
+// a formatted "run date" string or similar. This is one.
+//
+// In case of failure false is returned and result is
+// unchanged.
+//
+inline
+bool time_string(std::string & result
+               , const std::string & format = "%X UTC, %A %d %B %Y")
+{
+    // give up qualifying names and using std::size_t,
+    // to avoid including "config.hpp"
+    using namespace std;
+
+    const int sz = 256;
+    char buffer [ sz ] = { 0 };
+    const time_t no_cal_time ( -1 );
+    time_t tod;
+
+    const bool ok =
+        time ( &tod ) != no_cal_time
+     && strftime( buffer, sz, format.c_str(), gmtime( &tod ) ) != 0
+        ;
+
+    if (ok)
+        result = buffer;
+
+    return ok;
+}
+
+}
+
+#endif // include guard