mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 14:40:54 +00:00
This patch renames 'wakeup_client' to 'wakeup_client_if_needed' to clarify that the method triggers signals only when needed, not on every call. The name 'wakeup_client' is prone to misguide users to call the function conditionally as an optimization, thereby complicating the code, but to no effect. Fixes #3279