diff options
author | tv <tv@krebsco.de> | 2015-03-20 10:58:11 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2019-02-16 17:29:09 +0100 |
commit | 3a25fe69295e477ea103ab7010e2a43e37191c62 (patch) | |
tree | 369a2edadf6ede1fbcb72ff221b63efa83ec44b8 | |
parent | fe08236da659ff27eda98c6170fabbf981455c80 (diff) |
lib.xml.render-term: quote strings
-rw-r--r-- | lib/xml.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/xml.nix b/lib/xml.nix index 92f5521..1605244 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; |