From c0c0d8c600e3a480574426bd6d5616e7066b2f2e Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Tue, 15 Aug 2017 16:20:51 +0200 Subject: [PATCH] nic_router: error if uplink domain not configured Ref #2490 --- repos/os/src/server/nic_router/main.cc | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/repos/os/src/server/nic_router/main.cc b/repos/os/src/server/nic_router/main.cc index 76de05c239..5880796704 100644 --- a/repos/os/src/server/nic_router/main.cc +++ b/repos/os/src/server/nic_router/main.cc @@ -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); + } }