26 Jul
2017
26 Jul
'17
4:48 p.m.
On 7/26/17 1:58 AM, Norman Feske wrote:
thank you very much for reporting the issue. We indeed missed to adjust the run script to the changes of the routing of the environment sessions introduced earlier this year. I just fixed the problem with commit [1] on the staging branch. May you try cherry-picking this commit?
[1] https://github.com/genodelabs/genode/commit/89642795a00a1ed3f404cb4a2e75a1ec...
Thanks for the quick (and instructive) patch -- tested and showing full success here.
// Steve