From c75b6a9f05af5590dd2dfc6406d53c1935554b3d Mon Sep 17 00:00:00 2001
From: Brian Matzon <brian@matzon.dk>
Date: Fri, 20 Nov 2009 23:26:26 +0000
Subject: [PATCH] use HEAD request when determening file size

---
 src/java/org/lwjgl/util/applet/AppletLoader.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/java/org/lwjgl/util/applet/AppletLoader.java b/src/java/org/lwjgl/util/applet/AppletLoader.java
index dc53d311..ffad88d1 100644
--- a/src/java/org/lwjgl/util/applet/AppletLoader.java
+++ b/src/java/org/lwjgl/util/applet/AppletLoader.java
@@ -73,6 +73,8 @@ import java.util.jar.JarFile;
 import java.util.jar.JarOutputStream;
 import java.util.jar.Pack200;
 
+import com.sun.net.ssl.HttpsURLConnection;
+
 import sun.security.util.SecurityConstants;
 
 /**
@@ -789,6 +791,9 @@ public class AppletLoader extends Applet implements Runnable, AppletStub {
 		for (int i = 0; i < urlList.length; i++) {
 			urlconnection = urlList[i].openConnection();
 			urlconnection.setDefaultUseCaches(false);
+			if (urlconnection instanceof HttpURLConnection) {
+				((HttpURLConnection) urlconnection).setRequestMethod("HEAD");
+			}
 			fileSizes[i] = urlconnection.getContentLength();
 			totalSizeDownload += fileSizes[i];
 		}