external-repos/forge
1
0
Fork 0
mirror of https://github.com/Card-Forge/forge.git synced 2025-11-18 11:48:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

missed this file in Part 5 check-in

Browse Source
This commit is contained in:
slapshot5
2011-10-24 04:51:05 +00:00
parent e87f7b8ae8
commit f9868f6c38
1 changed files with 49 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

49
src/main/java/forge/GuiDownloader.java
View File

@@ -399,6 +399,54 @@ public abstract class GuiDownloader extends DefaultBoundedRangeModel implements
throw new RuntimeException("GuiDownloader : readFile() error");
}
}//readFile()
/**
* <p>readFile.</p>
*
* @param filename a {@link java.lang.String} object.
* @param dir a {@link java.util.File} object.
* @return an array of {@link forge.GuiDownloader.DownloadObject} objects.
*/
protected static DownloadObject[] readFileWithNames(String filename, File dir) {
try {
FileReader zrc = new FileReader(ForgeProps.getFile(filename));
BufferedReader in = new BufferedReader(zrc);
ArrayList<DownloadObject> list = new ArrayList<DownloadObject>();
String line;
StringTokenizer tok;
line = in.readLine();
while (line != null && (!line.equals(""))) {
if (line.startsWith("#")) {
line = in.readLine();
continue;
}
String name = null;
String url = null;
tok = new StringTokenizer(line, " ");
if (tok.hasMoreTokens()) {
name = tok.nextToken();
}
if (tok.hasMoreTokens()) {
url = tok.nextToken();
}
list.add(new DownloadObject(name, url, dir.getPath()));
line = in.readLine();
}
DownloadObject[] out = new DownloadObject[list.size()];
list.toArray(out);
return out;
} catch (Exception ex) {
ErrorViewer.showError(ex, "GuiDownloader: readFile() error");
throw new RuntimeException("GuiDownloader : readFile() error");
}
}//readFile()
protected class ProxyHandler implements ChangeListener {
private int type;
@@ -425,6 +473,7 @@ public abstract class GuiDownloader extends DefaultBoundedRangeModel implements
name = nameIn;
url = urlIn;
dir = dirIn;
//System.out.println("Created download object: "+name+" "+url+" "+dir);
}
}//DownloadObject
}