define IO.writeLines for a PrintWriter

This commit is contained in:
Mark Harrah 2011-02-11 20:10:53 -05:00
parent 032f638549
commit 3895a7cb1e
1 changed files with 3 additions and 1 deletions

View File

@ -6,7 +6,7 @@ package sbt
import Using._
import ErrorHandling.translate
import java.io.{BufferedReader, ByteArrayOutputStream, BufferedWriter, File, FileInputStream, InputStream, OutputStream}
import java.io.{BufferedReader, ByteArrayOutputStream, BufferedWriter, File, FileInputStream, InputStream, OutputStream, PrintWriter}
import java.net.{URI, URISyntaxException, URL}
import java.nio.charset.Charset
import java.util.Properties
@ -534,6 +534,8 @@ object IO
writer(file, lines.headOption.getOrElse(""), charset, append) { w =>
lines.foreach { line => w.write(line); w.newLine() }
}
def writeLines(writer: PrintWriter, lines: Seq[String]): Unit =
lines foreach writer.println
def write(properties: Properties, label: String, to: File) =
fileOutputStream()(to) { output => properties.store(output, label) }