X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignFrame.java;h=cd1893ddede368a765ae9060261ef7b4882ea2f3;hb=e3c3367f89785a5cff5fb3bd419c92ccb4ac13ea;hp=4114298787763e32c0080896dc24f28a0867494f;hpb=c794c5033adeee182b03a5ea92c0a7495a29661f;p=jalview.git

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 4114298..cd1893d 100644
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -155,6 +155,7 @@ import jalview.viewmodel.AlignmentViewport;
 import jalview.viewmodel.ViewportRanges;
 import jalview.ws.DBRefFetcher;
 import jalview.ws.DBRefFetcher.FetchFinishedListenerI;
+import jalview.ws.WSDiscovererI;
 import jalview.ws.api.ServiceWithParameters;
 import jalview.ws.jws1.Discoverer;
 import jalview.ws.jws2.Jws2Discoverer;
@@ -4522,9 +4523,10 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener,
                 }
                 // TODO: move into separate menu builder class.
                 boolean new_sspred = false;
+
                 if (Cache.getDefault("SHOW_JWS2_SERVICES", true))
                 {
-                  Jws2Discoverer jws2servs = Jws2Discoverer.getDiscoverer();
+                  WSDiscovererI jws2servs = Jws2Discoverer.getDiscoverer();
                   if (jws2servs != null)
                   {
                     if (jws2servs.hasServices())
@@ -4551,30 +4553,28 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener,
                     }
                   }
                 }
-                build_urlServiceMenu(me.webService);
-
 
-                // TODO Mateusz - follow pattern for adding web service
-                // JMenuItems for slivka-based services
-
-                SlivkaWSDiscoverer slivkaDiscoverer = SlivkaWSDiscoverer.getInstance();
-                if (slivkaDiscoverer.hasServices())
+                if (Cache.getDefault("SHOW_SLIVKA_SERVICES", true))
                 {
-                slivkaDiscoverer.attachWSMenuEntry(webService, me);
-                } else {
-                  if (slivkaDiscoverer.isRunning())
+                  WSDiscovererI discoverer = SlivkaWSDiscoverer
+                          .getInstance();
+                  if (discoverer != null)
                   {
+                    if (discoverer.hasServices())
+                    {
+                      discoverer.attachWSMenuEntry(webService, me);
+                    }
+                    if (discoverer.isRunning())
                     {
                       JMenuItem tm = new JMenuItem(
                               "Still discovering Slivka Services");
                       tm.setEnabled(false);
                       webService.add(tm);
                     }
-
                   }
                 }
-              
 
+                build_urlServiceMenu(me.webService);
                 build_fetchdbmenu(webService);
                 for (JMenu item : wsmenu)
                 {