From dd524b56fa710990fa1e010aafc77d22f5b8e0d2 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 16 Mar 2020 12:57:36 +0100
Subject: [PATCH] libc: propagate socket config to child processes

Fixes #3698
---
 repos/libports/src/lib/libc/fork.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/libports/src/lib/libc/fork.cc b/repos/libports/src/lib/libc/fork.cc
index ac49e588d..2bb030602 100644
--- a/repos/libports/src/lib/libc/fork.cc
+++ b/repos/libports/src/lib/libc/fork.cc
@@ -140,6 +140,8 @@ void Libc::Child_config::_generate(Xml_generator &xml, Xml_node config)
 				xml.attribute("rtc", node.attribute_value("rtc", Path()));
 			if (node.has_attribute("pipe"))
 				xml.attribute("pipe", node.attribute_value("pipe", Path()));
+			if (node.has_attribute("socket"))
+				xml.attribute("socket", node.attribute_value("socket", Path()));
 		});
 
 		{