diff options
author | Paul Phillips <paulp@improving.org> | 2010-03-10 15:57:10 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-03-10 15:57:10 +0000 |
commit | 0f5c2696c82f0027ccc815a008aac5a5226ca3e7 (patch) | |
tree | 19171e89206f5ebdd5269e1423e5a7976d4c105e /src | |
parent | bf032aea51c4e010fad7580660fa92af7aa33a58 (diff) | |
download | scala-0f5c2696c82f0027ccc815a008aac5a5226ca3e7.tar.gz scala-0f5c2696c82f0027ccc815a008aac5a5226ca3e7.tar.bz2 scala-0f5c2696c82f0027ccc815a008aac5a5226ca3e7.zip |
Removed a couple infinite loops in XML.
Diffstat (limited to 'src')
-rw-r--r-- | src/library/scala/xml/XML.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/xml/XML.scala b/src/library/scala/xml/XML.scala index 1395f7426f..dd85b58e50 100644 --- a/src/library/scala/xml/XML.scala +++ b/src/library/scala/xml/XML.scala @@ -54,11 +54,11 @@ object XML extends XMLLoader[Elem] @deprecated("Use save() instead") final def saveFull(filename: String, node: Node, xmlDecl: Boolean, doctype: dtd.DocType): Unit = - saveFull(filename, node, encoding, xmlDecl, doctype) + save(filename, node, encoding, xmlDecl, doctype) @deprecated("Use save() instead") final def saveFull(filename: String, node: Node, enc: String, xmlDecl: Boolean, doctype: dtd.DocType): Unit = - saveFull(filename, node, enc, xmlDecl, doctype) + save(filename, node, enc, xmlDecl, doctype) /** Saves a node to a file with given filename using given encoding * optionally with xmldecl and doctype declaration. @@ -80,7 +80,7 @@ object XML extends XMLLoader[Elem] val fos = new FileOutputStream(filename) val w = Channels.newWriter(fos.getChannel(), enc) - ultimately({ w.close() ; fos.close() })( + ultimately(w.close())( write(w, node, enc, xmlDecl, doctype) ) } |