setByte((byte)0xff); // More general attributes not supported
}
private int getHeaderSize(String method, URL url) {
HeaderManager headers = getHeaderManager();
CookieManager cookies = getCookieManager();
AuthManager auth = getAuthManager();
int hsz = 1; // Host always
if(method.equals(POST)) {
HTTPFileArg[] hfa = getHTTPFiles();
if(hfa.length > 0) {
hsz += 3;
} else {
hsz += 2;
}
}
if(headers != null) {
hsz += headers.size();
}
if(cookies != null) {
hsz += cookies.getCookieCount();
}
if(auth != null) {
String authHeader = auth.getAuthHeaderForURL(url);
if(authHeader != null) {
++hsz;