Ticket History #8894: Correct formatting of trace log microseconds

Correct formatting of trace log microseconds

Always use six digits with leading 0s to format the microseconds in
trace log timestamps; otherwise a small value appears as too large of
a fraction of a second.

(cherry picked from commit 734bf341da54e09add9160e65ea7308072b97f13)

https://github.com/krb5/krb5/commit/9d6dfe0a3e0ad66a86ca475e6ce3d3b5e655aa08
Author: Greg Hudson <ghudson@mit.edu>
Commit: 9d6dfe0a3e0ad66a86ca475e6ce3d3b5e655aa08
Branch: krb5-1.18
src/lib/krb5/os/trace.c | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)

Correct formatting of trace log microseconds

Always use six digits with leading 0s to format the microseconds in
trace log timestamps; otherwise a small value appears as too large of
a fraction of a second.

(cherry picked from commit 734bf341da54e09add9160e65ea7308072b97f13)

https://github.com/krb5/krb5/commit/ba8bddac958972b1f119774ae508510726090a78
Author: Greg Hudson <ghudson@mit.edu>
Commit: ba8bddac958972b1f119774ae508510726090a78
Branch: krb5-1.17
src/lib/krb5/os/trace.c | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)