(session: Active, event: { exitCode?: number })
| 101 | const exitOrder: PtyID[] = [] |
| 102 | |
| 103 | function notifyEnd(session: Active, event: { exitCode?: number }) { |
| 104 | for (const subscriber of session.subscribers.values()) { |
| 105 | if (!subscriber.active) { |
| 106 | subscriber.end = event |
| 107 | continue |
| 108 | } |
| 109 | try { |
| 110 | subscriber.onEnd(event) |
| 111 | } catch {} |
| 112 | } |
| 113 | session.subscribers.clear() |
| 114 | } |
| 115 | |
| 116 | function teardown(session: Active) { |
| 117 | for (const listener of session.listeners) listener.dispose() |