{
System.out.println(ln);
successfulCMDs.add(ln);
+ if (ln.equals(Jalview.TERMINATOR_LINE))
+ {
+ break;
+ }
}
- while ((ln = worker.getErrorReader().readLine()) != null)
+ if (worker != null && worker.exit == null)
{
- System.err.println(ln);
+ worker.interrupt();
+ Thread.currentThread().interrupt();
+ worker.process.destroy();
}
+ // while ((ln = worker.getErrorReader().readLine()) != null)
+ // {
+ // System.err.println(ln);
+ // }
}
{
System.out.println(ln);
successfulCMDs.add(ln);
+ if (ln.equals(Jalview.TERMINATOR_LINE))
+ {
+ break;
+ }
+
if (++count > 5)
{
break;