genode/repos/gems
Josef Söntgen dbcb1ff480 ssh_terminal: flush before closing connection
Originally the outgoing buffer was flush when the terminal was
detached. Since we cannot do that at this point, make the flushing
part of the common cleanup procedure.

Issue #3682.
2020-11-27 09:19:08 +01:00
..
include gems: import Genode-specific code of the CBE 2020-11-27 09:19:08 +01:00
lib gems: import Genode-specific code of the CBE 2020-11-27 09:19:08 +01:00
ports gems: import Genode-specific code of the CBE 2020-11-27 09:19:08 +01:00
recipes gems: import Genode-specific code of the CBE 2020-11-27 09:19:08 +01:00
run gems: import Genode-specific code of the CBE 2020-11-27 09:19:08 +01:00
src ssh_terminal: flush before closing connection 2020-11-27 09:19:08 +01:00
README Remove repos/qt4, fix #1451 2015-03-19 08:57:20 +01:00

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.