method to create temporary directory in arbitrary directory

This commit is contained in:
Mark Harrah 2011-08-05 21:56:32 -04:00
parent ffb4f1f325
commit 7f64e84393
1 changed files with 3 additions and 2 deletions

View File

@ -222,7 +222,8 @@ object IO
try { action(dir) }
finally { delete(dir) }
}
def createTemporaryDirectory: File =
def createTemporaryDirectory: File = createUniqueDirectory(temporaryDirectory)
def createUniqueDirectory(baseDirectory: File): File =
{
def create(tries: Int): File =
{
@ -231,7 +232,7 @@ object IO
else
{
val randomName = "sbt_" + java.lang.Integer.toHexString(random.nextInt)
val f = new File(temporaryDirectory, randomName)
val f = new File(baseDirectory, randomName)
try { createDirectory(f); f }
catch { case e: Exception => create(tries + 1) }