ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sandbox.h: supply Request::args to Local_service

Browse Source 
This change allows a local service to interpret session arguments other
than the label.
This commit is contained in:
Norman Feske 2023-07-11 15:59:56 +02:00
parent 7ce734d886
commit 4918035258
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/os/include/sandbox/sandbox.h
View File

@ -139,7 +139,8 @@ class Genode::Sandbox::Local_service_base : public Service
:
resources(session_resources_from_args(session.args().string())),
label(session.label()),
diag(session_diag_from_args(session.args().string()))
diag(session_diag_from_args(session.args().string())),
args(session.args())
{ }
/*
@ -150,9 +151,12 @@ class Genode::Sandbox::Local_service_base : public Service
public:
using Args = Session_state::Args;
Session::Resources const resources;
Session::Label const label;
Session::Diag const diag;
Args const args;
template <typename ST>
void deliver_session(ST &session)