mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-28 20:26:11 +00:00
When matching the 'label' session argument using '<if-args>' in a routing table, we can omit the child name prefix because it is always the same for all sessions originating from the child anyway. Therefore, this patch adds a special case for matching session labels. It makes the expression of label-specific routing more intuitive.