JAL-3690 alternative servers menu fix
[jalview.git] / src / jalview / gui / AlignFrame.java
index 71f8c7d..9e0fe6f 100644 (file)
@@ -4410,6 +4410,7 @@ public class AlignFrame extends GAlignFrame
   public void buildWebServicesMenu()
   {
     SwingUtilities.invokeLater(() -> {
+      Cache.log.info("Rebuiling WS menu");
       webService.removeAll();
       if (Cache.getDefault("SHOW_SLIVKA_SERVICES", true))
       {
@@ -4461,7 +4462,8 @@ public class AlignFrame extends GAlignFrame
     if (discoverer.hasServices())
     {
       PreferredServiceRegistry.getRegistry().populateWSMenuEntry(
-              discoverer.getServices(), null, menu, this, null);
+              discoverer.getServices(), sv -> buildWebServicesMenu(), menu,
+              this, null);
     }
     if (discoverer.isRunning())
     {