static std::string fileNameFromTimeStamp( const std::string& prefix, const TimeStamp& timestamp, const std::string& extension) { char timebuf[ 256]; char idxbuf[ 32]; time_t tt = timestamp.unixtime(); const struct tm* tm_info = ::localtime( &tt); std::strftime( timebuf, sizeof(timebuf), "%Y%m%d_%H%M%S", tm_info); std::snprintf( idxbuf, sizeof(idxbuf), "%04d", timestamp.counter()); return strus::string_format( "%s%s_%s%s", prefix.c_str(), timebuf, idxbuf, extension.c_str()); }