ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-29 21:54:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

ssh_terminal: flush buffer on Terminal cleanup

Browse Source 
Issue #4095.
This commit is contained in:
Josef Söntgen 2021-04-30 11:51:05 +02:00 committed by Norman Feske
parent f236e99b5c
commit 118e8ee6e1
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/gems/src/server/ssh_terminal/server.cc
View File

@ -378,6 +378,12 @@ void Ssh::Server::detach_terminal(Ssh::Terminal &conn)
auto invalidate_terminal = [&] (Session &sess) { auto invalidate_terminal = [&] (Session &sess) {
if (sess.terminal != &conn) { return; } if (sess.terminal != &conn) { return; }
sess.terminal_detached = true; sess.terminal_detached = true;
/* flush before destroying the terminal */
Libc::with_libc([&] {
try { sess.terminal->send(sess.channel); }
catch (...) { }
});
}; };
_sessions.for_each(invalidate_terminal); _sessions.for_each(invalidate_terminal);