2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3
10 * of the License, or (at your option) any later version.
12 * Jalview is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty
14 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
15 * PURPOSE. See the GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
19 * The Jalview Authors are detailed in the 'AUTHORS' file.
23 import java.io.IOException;
24 import java.io.InputStream;
25 import java.net.HttpURLConnection;
26 import java.net.ProtocolException;
29 import javax.ws.rs.HttpMethod;
31 import jalview.bin.Cache;
33 public class HttpUtils
37 * Returns true if it is possible to open an input stream at the given URL,
38 * else false. The input stream is closed.
43 public static boolean isValidUrl(String url)
45 InputStream is = null;
48 is = new URL(url).openStream();
53 } catch (IOException x)
55 // MalformedURLException, FileNotFoundException
64 } catch (IOException e)
73 public static boolean startsWithHttpOrHttps(String file)
75 return file.startsWith("http://") || file.startsWith("https://");
79 * wrapper to get/post to a URL or check headers
86 * @throws ProtocolException
88 public static boolean checkUrlAvailable(URL url, int readTimeout)
89 throws IOException, ProtocolException
91 // jalview.bin.Console.outPrintln(System.currentTimeMillis() + " " + url);
93 HttpURLConnection connection = (HttpURLConnection) url.openConnection();
95 connection.setRequestMethod(HttpMethod.HEAD);
97 connection.setDoInput(true);
99 connection.setUseCaches(false);
100 connection.setConnectTimeout(300);
101 connection.setReadTimeout(readTimeout);
102 return connection.getResponseCode() == 200;
105 public static String getUserAgent()
107 return getUserAgent(null);
110 public static String getUserAgent(String className)
112 StringBuilder sb = new StringBuilder();
113 sb.append("Jalview");
115 sb.append(Cache.getDefault("VERSION", "Unknown"));
117 sb.append(System.getProperty("os.name"));
119 sb.append(System.getProperty("os.arch"));
121 sb.append(System.getProperty("os.name"));
123 sb.append(System.getProperty("os.version"));
126 sb.append(System.getProperty("java.version"));
128 sb.append("jalview/");
129 sb.append(ChannelProperties.getProperty("channel"));
130 if (className != null)
133 sb.append(className);
135 String installation = Cache.applicationProperties
136 .getProperty("INSTALLATION");
137 if (installation != null)
140 sb.append(installation);
143 sb.append(" help@jalview.org");
144 return sb.toString();