From 63d9b638c3e9c830a119f7471983456847e4cafc Mon Sep 17 00:00:00 2001
From: Havoc Pennington <hp@pobox.com>
Date: Thu, 5 Jun 2014 11:07:37 -0400
Subject: [PATCH] Wait 5 seconds instead of 2 seconds to read stderr from
 launched server

---
 launch/src/main/scala/xsbt/boot/ServerApplication.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/launch/src/main/scala/xsbt/boot/ServerApplication.scala b/launch/src/main/scala/xsbt/boot/ServerApplication.scala
index 343b37185..6d4077e5b 100644
--- a/launch/src/main/scala/xsbt/boot/ServerApplication.scala
+++ b/launch/src/main/scala/xsbt/boot/ServerApplication.scala
@@ -112,7 +112,7 @@ class StreamDumper(in: java.io.BufferedReader, out: java.io.PrintStream) extends
     // just wait a couple seconds to read more stuff if there is
     // any stuff.
     if (waitForErrors) {
-      endTime.set(System.currentTimeMillis + 2000)
+      endTime.set(System.currentTimeMillis + 5000)
       // at this point we'd rather the dumper thread run
       // before we check whether to sleep
       Thread.`yield`()