}
String encoding = _conn.getContentEncoding();
String contentType = _conn.getContentType();
- boolean isgzipped = "application/x-gzip".equalsIgnoreCase(contentType) || contentType.endsWith("gzip")
- || "gzip".equals(encoding);
+ boolean isgzipped = "application/x-gzip".equalsIgnoreCase(contentType)
+ || contentType.endsWith("gzip") || "gzip".equals(encoding);
Exception e = null;
InputStream inputStream = _conn.getInputStream();
if (isgzipped)
if (sfpos > -1 && sfpos < fileStr.length() - 1)
{
suffix = fileStr.substring(sfpos + 1);
- // System.err.println("DEBUG: Found Suffix:"+suffix);
+ // jalview.bin.Console.errPrintln("DEBUG: Found Suffix:"+suffix);
return fileStr.substring(0, sfpos);
}
return null;
{
if (bytesRead >= READAHEAD_LIMIT)
{
- System.err.println(String.format(
+ jalview.bin.Console.errPrintln(String.format(
"File reset error: read %d bytes but reset limit is %d",
bytesRead, READAHEAD_LIMIT));
}