manual: quote $servlets

This commit is contained in:
Felix C. Stegerman 2018-11-13 01:18:26 +01:00 committed by GitHub
parent ee88babffa
commit fb2c21f71c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1480,7 +1480,7 @@ stdenv.mkDerivation (rec {
builder = builtins.toFile "builder.sh" "
source $stdenv/setup
mkdir $out
echo $servlets | xsltproc ${stylesheet} - > $out/server-conf.xml]]> <co xml:id='ex-toxml-co-apply' /> <![CDATA[
echo "$servlets" | xsltproc ${stylesheet} - > $out/server-conf.xml]]> <co xml:id='ex-toxml-co-apply' /> <![CDATA[
";
stylesheet = builtins.toFile "stylesheet.xsl"]]> <co xml:id='ex-toxml-co-stylesheet' /> <![CDATA[