3) sounds like it could lead to thread-safety issues with the new logging stuff.
Rather than a user-defined function, though, what about allowing the user to specify a date string (with additional UNIX second / fractional second options)?
--Gilbert
I generally like this but strftime doesn't give us what we need and I'm not sure rolling our own is worth it.
So harcoding 6 digits would be fine with me too.
(At some point we want higher resolution, but there'll be many more places to touch for that ...)
Robin