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