https://github.com/luugiathuy/Java-Download-Managerで、サーバーのファイル名ではなく、独自の定義でファイル名を設定/変更するための変数が見つかりません。
質問する
139 次
2 に答える
2
すぐには提供されません。Downloader のこのコードによるとURL.getFile
、出力ファイル名を決定するために使用されます。
// Get the file name from url path
String fileURL = url.getFile();
mFileName = fileURL.substring(fileURL.lastIndexOf('/') + 1);
System.out.println("File name: " + mFileName);
このフィールドは、 の次の特定のポイントで使用されますHttpDownloader
。
-
HttpDownloadThread aThread = new HttpDownloadThread(1, mURL, mOutputFolder + mFileName, startByte, endByte);
そしてここ
aThread = new HttpDownloadThread(i, mURL, mOutputFolder + mFileName, startByte, endByte);
そして最後にここ
HttpDownloadThread aThread = new HttpDownloadThread(1, mURL, mOutputFolder + mFileName, 0, mFileSize);
カスタムファイル名をサポートする独自のファイルを作成しないのはなぜですか? きっとあなたにとって興味深いエクササイズになるでしょう!多分あなたはもっと良いものを書くことができます。
于 2012-08-07T08:06:57.497 に答える
0
さて、ファイルの名前を変更できます。
File file = new File("/isuru.txt");
if (!file.exists() || file.isDirectory()) {
System.out.println("File does not exist: " + file);
return;
}
File newFile = new File("/leann.ini");
//Rename
if (file.renameTo(newFile)) {
System.out.println("File has been renamed.");
} else {
System.out.println("Error renmaing file");
}
于 2012-08-07T08:19:45.023 に答える