// JMenuItems for slivka-based services
SlivkaWSDiscoverer slivkaDiscoverer = SlivkaWSDiscoverer.getInstance();
+ if (slivkaDiscoverer.hasServices())
+ {
slivkaDiscoverer.attachWSMenuEntry(webService, me);
+ } else {
+ if (slivkaDiscoverer.isRunning())
+ {
+ {
+ JMenuItem tm = new JMenuItem(
+ "Still discovering Slivka Services");
+ tm.setEnabled(false);
+ webService.add(tm);
+ }
+ }
+ }
+
build_fetchdbmenu(webService);
for (JMenu item : wsmenu)