public String getVersion() { WMSInfo serviceInfo = getServiceInfo(); List<Version> versions = serviceInfo.getVersions(); String version; if (versions.size() > 0) { version = versions.get(0).toString(); } else { // shouldn't a version be set? version = "1.1.1"; } return version; }
public int getJpegCompression() { WMSInfo serviceInfo = getServiceInfo(); return getMetadataPercentage( serviceInfo.getMetadata(), JPEG_COMPRESSION, JPEG_COMPRESSION_DEFAULT); }
public boolean isSvgAntiAlias() { WMSInfo serviceInfo = getServiceInfo(); Boolean svgAntiAlias = Converters.convert(serviceInfo.getMetadata().get("svgAntiAlias"), Boolean.class); return svgAntiAlias == null ? true : svgAntiAlias.booleanValue(); }
public String getSvgRenderer() { WMSInfo serviceInfo = getServiceInfo(); String svgRendererHint = (String) serviceInfo.getMetadata().get("svgRenderer"); return svgRendererHint; }
public void setSvgRenderer(String svgRendererHint) { WMSInfo serviceInfo = getServiceInfo(); serviceInfo.getMetadata().put("svgRenderer", svgRendererHint); getGeoServer().save(serviceInfo); }
public boolean isEnabled() { WMSInfo serviceInfo = getServiceInfo(); return serviceInfo.isEnabled(); }