style(desktop): satisfy lint across PR-touched files
This commit is contained in:
@@ -62,6 +62,7 @@ export function mergeSessionPage(
|
||||
}
|
||||
|
||||
const incomingIds = new Set(incoming.map(session => session.id))
|
||||
|
||||
const survivors = previous.filter(
|
||||
session =>
|
||||
!incomingIds.has(session.id) &&
|
||||
@@ -164,6 +165,7 @@ function armSessionWatchdog(sessionId: string) {
|
||||
|
||||
const timer = setTimeout(() => {
|
||||
sessionWatchdogTimers.delete(sessionId)
|
||||
|
||||
// Re-check the latest state at fire-time. If the user already navigated
|
||||
// away or the session genuinely finished, the timer is a no-op.
|
||||
if ($workingSessionIds.get().includes(sessionId)) {
|
||||
|
||||
Reference in New Issue
Block a user