mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-04 10:10:59 +00:00
e43da51bd6
This commit addresses the situation where an environment session outlives the session-providing service. In this case, the env session got already invaidated at the destruction time of the server. However, the underlying session-state structure continues to exist until the client is destructed. During the eventual destruction of such a dangling environment session, we have to be careful not to interact with the no-longer existing service. Ref #2197
This directory contains include files of interfaces that are exported by components to be used by other components. Each subdirectory corresponds to the component exporting the interface.