static void closeURLConnection(HttpURLConnection c, InputStream in) {
  pcall {
    if (in != null) in.close();
    if (c != null) c.disconnect();
  }
}