package jalview.util; import jalview.bin.Cache; public class UserAgent { public static String getUserAgent(String className) { StringBuilder sb = new StringBuilder(); sb.append("Jalview"); sb.append('/'); sb.append(Cache.getDefault("VERSION", "Unknown")); sb.append(" ("); sb.append(System.getProperty("os.name")); sb.append("; "); sb.append(System.getProperty("os.arch")); sb.append(' '); sb.append(System.getProperty("os.name")); sb.append(' '); sb.append(System.getProperty("os.version")); sb.append("; "); sb.append("java/"); sb.append(System.getProperty("java.version")); sb.append("; "); sb.append("jalview/"); sb.append(ChannelProperties.getProperty("channel")); if (className != null) { sb.append("; "); sb.append(className); } String installation = Cache.applicationProperties .getProperty("INSTALLATION"); if (installation != null) { sb.append("; "); sb.append(installation); } sb.append(')'); sb.append(" help@jalview.org"); return sb.toString(); } public static String getUserAgent() { return getUserAgent(null); } }