Merge pull request #1421 from evan-fannin/fix-linting-error

Chore: Fix linting error
This commit is contained in:
Dennis Bartlett 2025-01-23 20:29:02 -06:00 committed by GitHub
commit f915fb2e2d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -56,7 +56,9 @@ export class DebugConsoleManager {
*/
getUnretrievedOutput(sessionId: string): string | undefined {
const session = this.sessions.get(sessionId)
if (!session) return undefined
if (!session) {
return undefined
}
const newOutput = session.output.slice(session.lastRetrievedIndex + 1).join("")
session.lastRetrievedIndex = session.output.length - 1