Currently, when timestamps are logged, leading zeros are not included. As an example, if the date is April 3, 2022 and the time is 8:05am, this would get logged as:
date time
2022/4/3 8:5:0
With this modification, it would now get logged as:
date time
2022/04/03 08:05:00
Arguably, leading zero's in the date are personal preference, but at least in the time fields, including leading zero's is more natural and human readable.
I made this modification in response to a request from Gurpreet to add a leading zero when one of the time fields is 0 (so 0 becomes 00) but it makes sense to include a leading zero in all cases I think.
Currently, when timestamps are logged, leading zeros are not included. As an example, if the date is April 3, 2022 and the time is 8:05am, this would get logged as:
With this modification, it would now get logged as:
Arguably, leading zero's in the date are personal preference, but at least in the time fields, including leading zero's is more natural and human readable.
I made this modification in response to a request from Gurpreet to add a leading zero when one of the time fields is 0 (so 0 becomes 00) but it makes sense to include a leading zero in all cases I think.