src/jdk.zipfs/share/classes/jdk/nio/zipfs/ZipFileSystem.java
changeset 59112 fe87a92570db
parent 58845 e492513d3630
child 59216 47c879f478d2
equal deleted inserted replaced
59110:8c4c358272a9 59112:fe87a92570db
  2087     }
  2087     }
  2088 
  2088 
  2089     // Releases the specified inflater to the list of available inflaters.
  2089     // Releases the specified inflater to the list of available inflaters.
  2090     private void releaseDeflater(Deflater def) {
  2090     private void releaseDeflater(Deflater def) {
  2091         synchronized (deflaters) {
  2091         synchronized (deflaters) {
  2092             if (inflaters.size() < MAX_FLATER) {
  2092             if (deflaters.size() < MAX_FLATER) {
  2093                def.reset();
  2093                def.reset();
  2094                deflaters.add(def);
  2094                deflaters.add(def);
  2095             } else {
  2095             } else {
  2096                def.end();
  2096                def.end();
  2097             }
  2097             }