|
@@ -256,7 +256,7 @@ public:
|
|
|
for (typename TraceElements < Time >::const_iterator it =
|
|
|
TraceElements < Time >::begin();
|
|
|
it != TraceElements < Time >::end(); ++it) {
|
|
|
- ss << (it->from_kernel() ? "KERNEL" : "TRACE");
|
|
|
+ ss << (it->from_kernel() ? "KERNEL" : "TRACE ");
|
|
|
if(it->get_time() != Time::null) {
|
|
|
ss << "(" << utils::DateTime::toJulianDayFmt(it->get_time(), date_format) << ")";
|
|
|
}
|