mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
551b17591c
Rather than calling 'ssh_disconnect' from within the Terminal session, flag the detached terminal in the session and let the event loop do the cleanup. Otherwise it might happen that the 'ep' (handling the Terminal session) as well as the 'pthread.0' (executing the ssh event loop) end up both triggering the cleanup concurrently. Issue #3682.
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.