<%@ page import="java.io.*, java.net.*" %>
<%!
/**
* 指定されたURLのデータをダウンロードし、ファイルに保存します。
* @param out JSP出力ストリーム
* @param urlstr 対象URL
* @param outFileName 出力先のローカルファイル名。既存のものは上書きされます
* @param encoding エンコーディング、EucJPなど。
*
*/
private int downloadData(
JspWriter out, String urlstr,
String outFileName, String encoding
) throws IOException {
URL url;
try {
url = new URL(urlstr);
} catch(MalformedURLException ex){
out.println("おおっと:" + ex.toString());
ex.printStackTrace();
return 1;
}
try {
BufferedReader reader = new BufferedReader(
new InputStreamReader(url.openStream(), encoding) );
BufferedWriter writer = new BufferedWriter(
new OutputStreamWriter(new FileOutputStream(outFileName), encoding) );
while(true){
String buf = reader.readLine();
if(buf == null) break;
writer.write(buf); writer.newLine();
}
reader.close();
writer.close();
} catch(IOException ex){
out.println("おおっと:" + ex.toString());
ex.printStackTrace();
return 2;
}
return 0;
}
%>
|