diff --git a/os/src/init/main.cc b/os/src/init/main.cc index bcf50e28aa..24f1b123fb 100644 --- a/os/src/init/main.cc +++ b/os/src/init/main.cc @@ -254,7 +254,7 @@ int main(int, char **) parent_services.remove_all(); /* reload config */ - config()->reload(); + try { config()->reload(); } catch (...) { } } return 0;