Make sure memory returned from dump_xml_formatted() is from the same pool

as everything else (and not from the XML pool which always uses malloc)

CVS patchset: 3838
CVS date: 2004/09/20 12:21:01

Mercurial revision: 72527a1544cfd2c2bce85fc98ecad8007b5fb8fe