{"action":"opened","issue":{"url":"https://api.github.com/repos/genodelabs/genode/issues/1423","labels_url":"https://api.github.com/repos/genodelabs/genode/issues/1423/labels{/name}","comments_url":"https://api.github.com/repos/genodelabs/genode/issues/1423/comments","events_url":"https://api.github.com/repos/genodelabs/genode/issues/1423/events","html_url":"https://github.com/genodelabs/genode/issues/1423","id":59353107,"number":1423,"title":"init: invalid route to non-existing server","user":{"login":"chelmuth","id":968883,"avatar_url":"https://avatars.githubusercontent.com/u/968883?v=3","gravatar_id":"","url":"https://api.github.com/users/chelmuth","html_url":"https://github.com/chelmuth","followers_url":"https://api.github.com/users/chelmuth/followers","following_url":"https://api.github.com/users/chelmuth/following{/other_user}","gists_url":"https://api.github.com/users/chelmuth/gists{/gist_id}","starred_url":"https://api.github.com/users/chelmuth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chelmuth/subscriptions","organizations_url":"https://api.github.com/users/chelmuth/orgs","repos_url":"https://api.github.com/users/chelmuth/repos","events_url":"https://api.github.com/users/chelmuth/events{/privacy}","received_events_url":"https://api.github.com/users/chelmuth/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/genodelabs/genode/labels/bug","name":"bug","color":"1b7921"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-02-28T18:54:59Z","updated_at":"2015-02-28T18:54:59Z","closed_at":null,"body":"Just now I had a typo in the routing declaration of a child in a very restrictive run script: no default routes, no wildcards. Therefore, I was surprised that everything worked as intended before and after I fixed `time` to `timer`. The only hint was\r\n```\r\n[init] launcher: invalid route to non-existing server \"time\"\r\n```\r\nin the log. The reason is that _init.h:672_ only prints the warning but continues to lookup the service in the registry with `Genode::Server *server == 0`. `Service_registry::find()` then acts like documented and returns any matching server per default.\r\n\r\nI doubt this is intended behavior as I explicitly stated to route the service request into Nirwana and had no wildcards/defaults. IMO we should print the warning and fail like in the other cases. What's your opinion?"}}