Some Servlet

import java.io.*; import javax.servlet.*; import javax.servlet.http.*; import java.util.zip.*; public class Display extends HttpServlet { public void doGet( HttpServletRequest request, HttpServletResponse response ) throws ServletException, IOException { String fid = request.getParameter("fid"); if( fid == null || Integer.parseInt(fid) != 1 ) { response.setContentType("text/html"); PrintWriter out = response.getWriter(); out.println( "Some Servlet" ); out.println( "we need a file id" ); out.println( "" ); } else { response.setContentType("text/plain"); response.setHeader( "Content-Encoding", "gzip" ); PrintWriter out = new PrintWriter( new GZIPOutputStream( response.getOutputStream() ) ); BufferedReader in = new BufferedReader( new FileReader("/tmp/tragedy.txt") ); String line; while( (line = in.readLine()) != null ) out.println( line ); in.close(); } } public void doPost( HttpServletRequest request, HttpServletResponse response ) throws ServletException, IOException { doGet( request, response ); } }