Parent Directory | Revision Log | Patch
revision 1.9 by benja, Mon Dec 30 12:27:45 2002 UTC | revision 1.10 by benja, Mon Dec 30 13:48:23 2002 UTC | |
---|---|---|
# | Line 56 file.getInputStream(file.getEntry(name)) | Line 56 file.getInputStream(file.getEntry(name)) |
56 | } | } |
57 | } | } |
58 | ||
59 | public ZipPool(ZipFile file){ | public ZipPool(ZipFile file, Set indexTypes) { |
60 | this.file = file; | super(indexTypes); |
61 | this.file = file; | |
62 | } | } |
63 | ||
64 | public Block get(BlockId id) throws IOException { | public Block get(BlockId id) throws IOException { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |