<pre name="code" class="java">StringBuffer html = new StringBuffer();
InputStream in = new GZIPInputStream(new FileInputStream(file)); Scanner sc=new Scanner(in); while(sc.hasNextLine()){ html.append(sc.nextLine().toString()+"\r\n"); }
时间: 2024-12-13 04:57:32