From 506d06bf67d05fab95120050820dcdf5f17ea273 Mon Sep 17 00:00:00 2001 From: Havoc Pennington Date: Thu, 5 Jun 2014 11:13:29 -0400 Subject: [PATCH] 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 --- launch/src/main/scala/xsbt/boot/ServerApplication.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/launch/src/main/scala/xsbt/boot/ServerApplication.scala b/launch/src/main/scala/xsbt/boot/ServerApplication.scala index 05010fff9..b1d90fe38 100644 --- a/launch/src/main/scala/xsbt/boot/ServerApplication.scala +++ b/launch/src/main/scala/xsbt/boot/ServerApplication.scala @@ -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