From: kiramt Date: Fri, 24 Mar 2017 09:43:38 +0000 (+0000) Subject: JAL-2314 Tidy up X-Git-Tag: Release_2_10_2~3^2~142 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=c355d0f7a994d0d064078d363e612eb8c89581f1;p=jalview.git JAL-2314 Tidy up --- diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 32e5f64..7d0eb7f 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -2875,8 +2875,6 @@ public class Desktop extends jalview.jbgui.GDesktop implements || (t2 != null && t2.isAlive()) || (t3 != null && t3.isAlive()) || (t0 != null && t0.isAlive()); - // could just as easily ask discoverer if it is still running instead of - // holding ref to thread } } }