[paparazzi-commits] [6139] fix bug when saving parameters from gcs

[Gautier Hattenberger]

Revision: 6139
          http://svn.sv.gnu.org/viewvc/?view=rev&root=paparazzi&revision=6139
Author:   gautier
Date:     2010-10-11 12:48:48 +0000 (Mon, 11 Oct 2010)
Log Message:
-----------
fix bug when saving parameters from gcs
param is a keyword of html4.0 dtd used by default
now, empty dtd is used with the Netstring.write function

Modified Paths:
--------------
    paparazzi3/trunk/sw/lib/ocaml/xmlCom.ml

Modified: paparazzi3/trunk/sw/lib/ocaml/xmlCom.ml
===================================================================
--- paparazzi3/trunk/sw/lib/ocaml/xmlCom.ml     2010-10-11 11:36:20 UTC (rev 
6138)
+++ paparazzi3/trunk/sw/lib/ocaml/xmlCom.ml     2010-10-11 12:48:48 UTC (rev 
6139)
@@ -136,6 +136,6 @@
 (** Write XML and translate elements with no children *)
 let to_file = fun xml filename ->
   let chout = new Netchannels.output_channel (open_out filename) in
-  Nethtml.write chout (children xml);
+  Nethtml.write ~dtd:[] chout (children xml);
   chout#close_out ();
   ugly2nice filename