From c355d0f7a994d0d064078d363e612eb8c89581f1 Mon Sep 17 00:00:00 2001 From: kiramt Date: Fri, 24 Mar 2017 09:43:38 +0000 Subject: [PATCH] JAL-2314 Tidy up --- src/jalview/gui/Desktop.java | 2 -- 1 file changed, 2 deletions(-) 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 } } } -- 1.7.10.2