denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add <exit propagate="…"/> to Init config schema

Browse Source 
Fix #3724
This commit is contained in:
Emery Hemingway
2020-04-07 20:20:34 +05:30
committed by Christian Helmuth
parent c783764d0b
commit 6359445a8e
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
repos/os/src/init/config.xsd
View File

@@ -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" />