timestamp = main::do_timestamp()
Returns a timestamp as used by the logging facilities.
Categories: API