(ms: number | undefined)
| 969 | } |
| 970 | |
| 971 | function formatDuration(ms: number | undefined): string | undefined { |
| 972 | if (typeof ms !== 'number' || !Number.isFinite(ms)) return undefined; |
| 973 | return `${Math.round(ms)}ms`; |
| 974 | } |
| 975 | |
| 976 | function errorDetails(operation: string, err: unknown, sessionId?: string): AppNoticeDetail[] { |
| 977 | const network = isDaemonNetworkError(err); |