From 6359445a8e7708ede86af8f4725ebf7964a5b670 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Tue, 7 Apr 2020 20:20:34 +0530
Subject: [PATCH] =?UTF-8?q?Add=20<exit=20propagate=3D"=E2=80=A6"/>=20to=20?=
 =?UTF-8?q?Init=20config=20schema?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Fix #3724
---
 repos/os/src/init/config.xsd | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd
index 85bb24b34..d53101fd0 100644
--- a/repos/os/src/init/config.xsd
+++ b/repos/os/src/init/config.xsd
@@ -168,6 +168,12 @@
         </xs:complexType>
        </xs:element> <!-- "resource" -->
 
+       <xs:element name="exit">
+        <xs:complexType>
+         <xs:attribute name="propagate" type="Boolean" />
+        </xs:complexType>
+       </xs:element> <!-- "exit" -->
+
        <xs:element name="configfile">
         <xs:complexType>
          <xs:attribute name="name" type="xs:string" />