fix: 增加终端连接断开提示信息 (#1571)

pull/1572/head
ssongliu 2023-07-07 11:08:11 +08:00 committed by GitHub
parent 10427ddd65
commit afcebb46a0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -184,6 +184,7 @@ const closeRealTerminal = (ev: CloseEvent) => {
if (heartbeatTimer.value) {
clearInterval(heartbeatTimer.value);
}
term.value.write('The connection has been disconnected.');
term.value.write(ev.reason);
};