()
| 1274 | } |
| 1275 | |
| 1276 | function _termTeardown() { |
| 1277 | try { if (_termSocket) { _termSocket.disconnect(); _termSocket = null; } } catch (e) { /* ignore */ } |
| 1278 | } |
| 1279 | |
| 1280 | function initTerminal() { |
| 1281 | const mount = document.getElementById('xterm-mount'); |
| 1282 | const status = document.getElementById('terminal-status'); |
| 1283 | if (!mount) return; |
| 1284 | if (typeof Terminal === 'undefined') { |
| 1285 | if (status) status.innerHTML = '<span class="text-red-400">Terminal library failed to load.</span>'; |
| 1286 | return; |
nothing calls this directly
no test coverage detected