use HEAD request when determening file size

This commit is contained in:
Brian Matzon 2009-11-20 23:26:26 +00:00
parent 9dcf59dab5
commit c75b6a9f05

View file

@ -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];
}