summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2015-03-20 10:58:11 +0100
committertv <tv@krebsco.de>2019-02-16 17:29:09 +0100
commit270ceb7676e867c9dff5f5faa765666b58aaa371 (patch)
treed4cd0d5fa15ee599e9c02b23784936bc099cd25e
parent763a81ac08da6d20b0ea3bbd8423df3e64f934dc (diff)
lib.xml.render-term: quote strings
-rw-r--r--lib/xml.nix8
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/xml.nix b/lib/xml.nix
index 92f552154..16052445b 100644
--- a/lib/xml.nix
+++ b/lib/xml.nix
@@ -68,12 +68,16 @@ rec {
bool = toJSON content;
int = toJSON content;
list = concatMapStrings render content;
- string = content;
+ string = quote content;
};
in
{ name, attrs, content }:
+ # XXX we're currently encoding too much information with `null`..
if name == null
- then ""
+ then
+ if content == null
+ then ""
+ else content
else let
attrs' = render-attrs attrs;
content' = render-content content;