From 9fdb799663a4b42c6dbd76495da19e5b550e3a5c Mon Sep 17 00:00:00 2001 From: Andras Bacsai <5845193+andrasbacsai@users.noreply.github.com> Date: Thu, 18 Dec 2025 12:50:30 +0100 Subject: [PATCH] Shorten timestamp display format in runtime logs MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Changed from '2025-Dec-18 11:39:13.685710' to '2025-Dec-18 11:39:13'. Microseconds are still used in wire:key for uniqueness. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 --- .../views/livewire/project/shared/get-logs.blade.php | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/resources/views/livewire/project/shared/get-logs.blade.php b/resources/views/livewire/project/shared/get-logs.blade.php index 138c8e564..03c049874 100644 --- a/resources/views/livewire/project/shared/get-logs.blade.php +++ b/resources/views/livewire/project/shared/get-logs.blade.php @@ -408,13 +408,13 @@ class="text-gray-500 dark:text-gray-400 py-2"> $monthNames = ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec']; $monthName = $monthNames[(int)$month - 1] ?? $month; - // Format: 2025-Dec-04 09:44:58.198879 - $timestamp = "{$year}-{$monthName}-{$day} {$time}.{$microseconds}"; + // Format for display: 2025-Dec-04 09:44:58 + $timestamp = "{$year}-{$monthName}-{$day} {$time}"; + // Include microseconds in key for uniqueness + $lineKey = "{$timestamp}.{$microseconds}"; } - // Use timestamp for stable key (unique per log line) - $lineKey = $timestamp ?: 'line-' . $index; @endphp -
+
@if ($timestamp && $showTimeStamps) {{ $timestamp }} @endif