From a3193b919ccfa4a707c19c92fd1285f577ca1c0b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 18 Nov 2024 18:46:42 +0100
Subject: [PATCH] terminal: survive malformed dynamic re-config

---
 repos/gems/src/server/terminal/main.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/gems/src/server/terminal/main.cc b/repos/gems/src/server/terminal/main.cc
index 5a62f8e56a..fc66fbf7ff 100644
--- a/repos/gems/src/server/terminal/main.cc
+++ b/repos/gems/src/server/terminal/main.cc
@@ -267,7 +267,8 @@ void Terminal::Main::_handle_config()
 
 	_font.destruct();
 
-	_root_dir.apply_config(config.sub_node("vfs"));
+	config.with_optional_sub_node("vfs", [&] (Xml_node const &vfs_config) {
+		_root_dir.apply_config(vfs_config); });
 
 	Cached_font::Limit const cache_limit {
 		config.attribute_value("cache", Number_of_bytes(256*1024)) };