denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

depot_autopilot: store signal context capability as copy

Browse Source 
Fixes #4129
This commit is contained in:
Christian Prochaska
2021-04-07 06:59:02 +02:00
committed by Norman Feske
parent 66e8f8d764
commit 0a8394c891
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/gems/src/app/depot_autopilot/children.h
View File

@@ -33,7 +33,7 @@ class Depot_deploy::Children
Genode::Allocator &_alloc;
Timer::Connection &_timer;
Genode::Signal_context_capability const &_config_handler;
Genode::Signal_context_capability const _config_handler;
Local::Const_pointer<Child> _curr_child { };
List_model<Child> _children { };
@@ -79,7 +79,7 @@ class Depot_deploy::Children
Children(Genode::Allocator &alloc,
Timer::Connection &timer,
Genode::Signal_context_capability const &config_handler)
Genode::Signal_context_capability const config_handler)
:
_alloc { alloc },
_timer { timer },