ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-12 21:53:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nic_router: error if uplink domain not configured

Browse Source 
Ref #2490
This commit is contained in:
Martin Stein 2017-08-15 16:20:51 +02:00 committed by Christian Helmuth
parent 96c7f8d53f
commit c0c0d8c600
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
repos/os/src/server/nic_router/main.cc
View File

@ -60,5 +60,10 @@ void Component::construct(Env &env)
/* XXX execute constructors of global statics */
env.exec_static_constructors();
static Main main(env);
try { static Main main(env); }
catch (Net::Domain_tree::No_match) {
error("failed to find configuration for domain 'uplink'");
env.parent().exit(-1);
}
}