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

libc: submit monitor execution signals locally

Browse Source 
Issue #3924
This commit is contained in:
Christian Prochaska
2020-10-26 15:20:40 +01:00
committed by Christian Helmuth
parent 798beab30e
commit dff3bac441
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/libports/src/lib/libc/internal/kernel.h
View File

@@ -576,7 +576,7 @@ struct Libc::Kernel final : Vfs::Io_response_handler,
if (_main_context())
_monitors_handler();
else
Signal_transmitter(*_execute_monitors).submit();
_execute_monitors->local_submit();
}
/**