for JBindery runner, added System.exit()

This commit is contained in:
beard%netscape.com 1999-10-19 19:43:31 +00:00
Родитель 08c8e88004
Коммит ab04358b03
1 изменённых файлов: 3 добавлений и 0 удалений

Просмотреть файл

@ -281,6 +281,9 @@ public class leaksoup {
printLeaks(out, leaks);
out.close();
// quit the application.
System.exit(0);
} catch (Exception e) {
e.printStackTrace(System.err);
}