| ... | ... |
@@ -530,9 +530,9 @@ if [[ -n "$LOGFILE" ]]; then |
| 530 | 530 |
# Redirect stdout/stderr to tee to write the log file |
| 531 | 531 |
exec 1> >( awk ' |
| 532 | 532 |
{
|
| 533 |
- cmd ="date +\"%Y-%m-%d %H:%M:%S \"" |
|
| 533 |
+ cmd ="date +\"%Y-%m-%d %H:%M:%S.%3N | \"" |
|
| 534 | 534 |
cmd | getline now |
| 535 |
- close("date +\"%Y-%m-%d %H:%M:%S \"")
|
|
| 535 |
+ close("date +\"%Y-%m-%d %H:%M:%S.%3N | \"")
|
|
| 536 | 536 |
sub(/^/, now) |
| 537 | 537 |
|
| 538 | 538 |
fflush() |