Skip to content

Commit 3dc4e0f

Browse files
rebase
1 parent 19e146d commit 3dc4e0f

File tree

2 files changed

+4
-5
lines changed

2 files changed

+4
-5
lines changed

src/components/EngineStream.tsx

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,6 @@ export const EngineStream = (props: {
4141
const settings = useSettings()
4242
const { state: modelingMachineState, send: modelingMachineActorSend } =
4343
useModelingContext()
44-
const commandBarState = useCommandBarState()
4544
const { file } = useRouteLoaderData(PATHS.FILE) as IndexLoaderData
4645
const last = useRef<number>(Date.now())
4746

src/lang/std/engineConnection.ts

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -331,10 +331,10 @@ class EngineConnection extends EventTarget {
331331
private engineCommandManager: EngineCommandManager
332332

333333
private pingPongSpan: { ping?: number; pong?: number }
334-
private pingIntervalId: ReturnType<typeof setInterval> | null = null
334+
private pingIntervalId: ReturnType<typeof setInterval> | undefined = undefined
335335
isUsingConnectionLite: boolean = false
336336

337-
timeoutToForceConnectId: ReturnType<typeof setTimeout> | null = null
337+
timeoutToForceConnectId: ReturnType<typeof setTimeout> | undefined = undefined
338338

339339
constructor({
340340
engineCommandManager,
@@ -405,7 +405,7 @@ class EngineConnection extends EventTarget {
405405
this.tearDown = () => {}
406406
this.websocket.addEventListener('open', this.onWebSocketOpen)
407407

408-
this.onWebSocketMessage = (event: MessageEvent) => {
408+
this.websocket?.addEventListener('message', ((event: MessageEvent) => {
409409
const message: Models['WebSocketResponse_type'] = JSON.parse(event.data)
410410
if (!('resp' in message)) return
411411

@@ -1244,7 +1244,7 @@ class EngineConnection extends EventTarget {
12441244
)
12451245
}
12461246
disconnectAll() {
1247-
if (this.websocket?.readyState < 3) {
1247+
if (this.websocket && this.websocket?.readyState < 3) {
12481248
this.websocket?.close()
12491249
}
12501250
if (this.unreliableDataChannel?.readyState === 'open') {

0 commit comments

Comments
 (0)