Libraryless. Click here for Pure Java version (35L/1K).
1 | sclass GZIPOutputStreamWithLevel extends GZIPOutputStream {
|
2 | *(OutputStream out) throws IOException {
|
3 | super(out); |
4 | } |
5 | |
6 | // set compression level |
7 | public void setLevel(int level) {
|
8 | def.setLevel(level); |
9 | } |
10 | } |
download show line numbers debug dex old transpilations
Travelled to 4 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, vouqrxazstgt
No comments. add comment
| Snippet ID: | #1031145 |
| Snippet name: | GZIPOutputStreamWithLevel - GZIPOutputStream + selectable compression level |
| Eternal ID of this version: | #1031145/1 |
| Text MD5: | 600c28ee70b78d0a17036da044eb922b |
| Transpilation MD5: | 589cf8db98d5203ed3908bf761d57b85 |
| Author: | stefan |
| Category: | javax |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2021-05-13 12:58:20 |
| Source code size: | 227 bytes / 10 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 121 / 291 |
| Referenced in: | [show references] |