* Format short time for browser (HH:mm:ss.SSS)
()
| 91 | * Format short time for browser (HH:mm:ss.SSS) |
| 92 | */ |
| 93 | function formatShortTime(): string { |
| 94 | return new Date().toISOString().split('T')[1].slice(0, 12); |
| 95 | } |
| 96 | |
| 97 | /** |
| 98 | * Format a log line for Node.js terminal output |