From 4bb5007282a32a869ff8eddea945619fb42b1b3b Mon Sep 17 00:00:00 2001
From: Eugene Vigdorchik <eugene.vigdorchik@gmail.com>
Date: Thu, 11 Oct 2012 23:47:05 +0400
Subject: [PATCH] Call System.exit after the main thread is finished. Closes
 #565.

---
 testing/agent/src/main/java/sbt/ForkMain.java | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/testing/agent/src/main/java/sbt/ForkMain.java b/testing/agent/src/main/java/sbt/ForkMain.java
index 587b4ff33..271c873f5 100755
--- a/testing/agent/src/main/java/sbt/ForkMain.java
+++ b/testing/agent/src/main/java/sbt/ForkMain.java
@@ -82,10 +82,14 @@ public class ForkMain {
 		final ObjectInputStream is = new ObjectInputStream(socket.getInputStream());
 		final ObjectOutputStream os = new ObjectOutputStream(socket.getOutputStream());
 		try {
-			new Run().run(is, os);
+			try {
+				new Run().run(is, os);
+			} finally {
+				is.close();
+				os.close();
+			}
 		} finally {
-			is.close();
-			os.close();
+			System.exit(0);
 		}
 	}
 	private static class Run {