send back pong

gregsadetsky · gregsadetsky · commit 6cab83f49b73 · 2025-12-10T17:01:45.000-05:00
diff --git a/src/commands/shell.ts b/src/commands/shell.ts
@@ -101,6 +101,11 @@ export default class Shell extends Command {
                 ws.send(chunk)
               }
             })
+          } else if (message.type === 'ping') {
+            // Respond to server heartbeat
+            if (ws.readyState === WS.OPEN) {
+              ws.send(JSON.stringify({ type: 'pong' }))
+            }
           }
         } catch {
           // Not JSON, treat as text output

Original file line number	Diff line number	Diff line change
`@@ -101,6 +101,11 @@ export default class Shell extends Command {`
`101`	`101`	`ws.send(chunk)`
`102`	`102`	`}`
`103`	`103`	`})`
	`104`	`+ } else if (message.type === 'ping') {`
	`105`	`+ // Respond to server heartbeat`
	`106`	`+ if (ws.readyState === WS.OPEN) {`
	`107`	`+ ws.send(JSON.stringify({ type: 'pong' }))`
	`108`	`+ }`
`104`	`109`	`}`
`105`	`110`	`} catch {`
`106`	`111`	`// Not JSON, treat as text output`