From ab1e869ebe49c13b182873868607db36dc971b8f Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Thu, 10 Nov 2016 13:30:06 +0100
Subject: [PATCH] use HEAD request when just checking the file size

This code will be changed again when implementing the client-side etag
check #562

closes #777
---
 app/src/main/java/org/fdroid/fdroid/net/HttpDownloader.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/main/java/org/fdroid/fdroid/net/HttpDownloader.java b/app/src/main/java/org/fdroid/fdroid/net/HttpDownloader.java
index 04bf202fa..3780bfd53 100644
--- a/app/src/main/java/org/fdroid/fdroid/net/HttpDownloader.java
+++ b/app/src/main/java/org/fdroid/fdroid/net/HttpDownloader.java
@@ -83,6 +83,7 @@ public class HttpDownloader extends Downloader {
 
         // get the file size from the server
         HttpURLConnection tmpConn = getConnection();
+        tmpConn.setRequestMethod("HEAD");
         int contentLength = -1;
         if (tmpConn.getResponseCode() == 200) {
             contentLength = tmpConn.getContentLength();