Wss.

Browse Source
This commit is contained in:
retoor 2025-10-10 01:23:18 +02:00
parent 9a0d120ba4
commit f3ec158338
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
demo.py
View File

@ -123,10 +123,9 @@ async def terminal(session_id: str):
term.loadAddon(fitAddon); term.loadAddon(fitAddon);
term.open(document.getElementById('terminal')); term.open(document.getElementById('terminal'));
fitAddon.fit(); fitAddon.fit();
const protocol = window.location.protocol === 'https:' ? 'wss:' : 'ws:';
const ws = new WebSocket('ws://' + window.location.host + '/ws/{session_id}'); const ws = new WebSocket(protocol + '//' + window.location.host + '/ws/{session_id}');
ws.onopen = () => {{
ws.onopen = () => {{
const dims = {{ cols: term.cols, rows: term.rows }}; const dims = {{ cols: term.cols, rows: term.rows }};
ws.send(JSON.stringify({{ type: 'resize', data: dims }})); ws.send(JSON.stringify({{ type: 'resize', data: dims }}));
}}; }};