01: /**
02: * $Id: NetFileGZipOutputStream.java,v 1.6 2005/11/30 11:26:38 ss150821 Exp $
03: * Copyright 2002 Sun Microsystems, Inc. All
04: * rights reserved. Use of this product is subject
05: * to license terms. Federal Acquisitions:
06: * Commercial Software -- Government Users
07: * Subject to Standard License Terms and
08: * Conditions.
09: *
10: * Sun, Sun Microsystems, the Sun logo, and Sun ONE
11: * are trademarks or registered trademarks of Sun Microsystems,
12: * Inc. in the United States and other countries.
13: */package com.sun.portal.netfile.servlet.java2;
14:
15: import java.io.OutputStream;
16: import com.sun.portal.log.common.PortalLogger;
17: import java.io.IOException;
18: import java.util.zip.GZIPOutputStream;
19:
20: public class NetFileGZipOutputStream extends GZIPOutputStream {
21:
22: public NetFileGZipOutputStream(OutputStream out) throws IOException {
23: super (out);
24: }
25:
26: public NetFileGZipOutputStream(OutputStream out, int size)
27: throws IOException {
28: super (out, size);
29: }
30:
31: void setLevel(int i) {
32: def.setLevel(i);
33: }
34:
35: }
|