Change setEnv arg
[hcoop/domtool2.git] / src / plugins / apache.sml
index 167759f..29dc447 100644 (file)
@@ -887,7 +887,8 @@ val () = Env.action_two "setEnv"
         (fn (key, value) => (write "\tSetEnv \"";
                              write key;
                              write "\" \"";
-                             write value;
+                             write (String.translate (fn #"\"" => "\\\""
+                                                       | ch => str ch) value);
                              write "\"\n"))
 
 val () = Domain.registerResetLocal (fn () =>