Remove unused compressed_block_size and close BlockCompressedInputStream

This commit is contained in:
Ron Levine 2017-02-17 12:21:51 -05:00
parent 1d36d9fd69
commit ab75b08ea7
1 changed files with 1 additions and 3 deletions

View File

@ -39,15 +39,13 @@ public class UnzipSingleBlock extends CommandLineProgram {
@Input(fullName = "block_file", shortName = "b", doc = "block file over which to test unzipping", required = true) @Input(fullName = "block_file", shortName = "b", doc = "block file over which to test unzipping", required = true)
private File blockFile; private File blockFile;
@Input(fullName = "compressed_block_size", shortName = "cbs", doc = "size of compressed block", required = true)
private int compressedBufferSize;
public int execute() throws IOException { public int execute() throws IOException {
final byte[] uncompressedBuffer = new byte[65536]; final byte[] uncompressedBuffer = new byte[65536];
final BlockCompressedInputStream gunzipper = new BlockCompressedInputStream(blockFile); final BlockCompressedInputStream gunzipper = new BlockCompressedInputStream(blockFile);
gunzipper.setCheckCrcs(true); gunzipper.setCheckCrcs(true);
gunzipper.read(uncompressedBuffer); gunzipper.read(uncompressedBuffer);
gunzipper.close();
System.out.printf("SUCCESS!%n"); System.out.printf("SUCCESS!%n");