if ( encoding != null ){
if ( encoding.equalsIgnoreCase( "gzip" )){
error_stream = new GZIPInputStream( error_stream );
}else if ( encoding.equalsIgnoreCase( "deflate" )){
error_stream = new InflaterInputStream( error_stream );
}
}
error_str = FileUtil.readInputStreamAsString( error_stream, 256 );
}
throw( new ResourceDownloaderException( this, "Error on connect for '" + trimForDisplay( url ) + "': " + Integer.toString(response) + " " + http_con.getResponseMessage() + (error_str==null?"":( ": error=" + error_str ))));
}
getRequestProperties( con );
boolean compressed = false;
try{
this_mon.enter();
input_stream = con.getInputStream();
String encoding = con.getHeaderField( "content-encoding");
if ( encoding != null ){
if ( encoding.equalsIgnoreCase( "gzip" )){
compressed = true;
input_stream = new GZIPInputStream( input_stream );
}else if ( encoding.equalsIgnoreCase( "deflate" )){
compressed = true;