Call System.exit after the main thread is finished. Closes #565.

This commit is contained in:
Eugene Vigdorchik 2012-10-11 23:47:05 +04:00 committed by Mark Harrah
parent 88e8090d7a
commit 4bb5007282
1 changed files with 7 additions and 3 deletions

View File

@ -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 {