use Charset.name instead of toString (which currently calls name)

This commit is contained in:
Mark Harrah 2011-10-26 19:28:26 -04:00
parent 34260c022a
commit 8c1c2a8c1d
1 changed files with 1 additions and 1 deletions

View File

@ -26,7 +26,7 @@ class MakePom(val log: Logger)
def write(node: XNode, output: File): Unit = write(toString(node), output, "\n")
def write(xmlString: String, output: File, newline: String)
{
IO.write(output, "<?xml version='1.0' encoding='" + IO.utf8 + "'?>" + newline + xmlString)
IO.write(output, "<?xml version='1.0' encoding='" + IO.utf8.name + "'?>" + newline + xmlString)
}
def toString(node: XNode): String = new PrettyPrinter(1000, 4).format(node)