mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-25 22:00:32 +00:00
277af91376
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.