mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-03 16:10:59 +00:00
parent
bed531b604
commit
ce1d0464b8
@ -384,7 +384,10 @@ void Ssh::Server::detach_terminal(Ssh::Terminal &conn)
|
|||||||
};
|
};
|
||||||
_sessions.for_each(invalidate_terminal);
|
_sessions.for_each(invalidate_terminal);
|
||||||
_cleanup_sessions();
|
_cleanup_sessions();
|
||||||
Genode::destroy(&_heap, p);
|
|
||||||
|
Libc::with_libc([&] () {
|
||||||
|
Genode::destroy(&_heap, p);
|
||||||
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user