PluginIF admin_plugin = context.getNavigatorConfiguration().getPlugin("fulltext-admin"); if (admin_plugin == null || admin_plugin.getState() != PluginIF.ACTIVATED) return "<span title=\"No index found at: " + path + "\">Not indexed</span>";
PluginIF admin_plugin = context.getNavigatorConfiguration().getPlugin("fulltext-admin"); if (admin_plugin == null || admin_plugin.getState() != PluginIF.ACTIVATED) return "<span title=\"No index found at: " + path + "\">Not indexed</span>";