PATCH: numeric timestamp in log_line_prefix

PATCH: numeric timestamp in log_line_prefix

Edit