luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Don't delete the server config file if SBT_SERVER_SAVE_TEMPS ne null 

This allows people to reproduce failures by running the command line
by hand.

Fixes #1394
This commit is contained in:
Havoc Pennington 2014-06-05 11:13:29 -04:00
parent a72448b793
commit 506d06bf67
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
launch/src/main/scala/xsbt/boot/ServerApplication.scala
View File

@ -133,7 +133,8 @@ object ServerLauncher {
case None => throw new RuntimeException("Logic Failure: Attempting to start a server that isn't configured to be a server. Please report a bug.")
}
val launchConfig = java.io.File.createTempFile("sbtlaunch", "config")
launchConfig.deleteOnExit()
if (System.getenv("SBT_SERVER_SAVE_TEMPS") eq null)
launchConfig.deleteOnExit()
LaunchConfiguration.save(config, launchConfig)
val jvmArgs: List[String] = serverConfig.jvmArgs map readLines match {
case Some(args) => args