if (args[startargs].startsWith("http://")) {
if (Log.on) Log.log(Main.class, "downloading xwar");
URL u = new URL(args[startargs]);
- originAddr = InetAddress.getByName(u.getHost());
- Resources.loadArchive(Platform.urlToInputStream(u));
+ try {
+ originAddr = InetAddress.getByName(u.getHost());
+ // FIXME: use XMLRPC resolver?
+ } catch (UnknownHostException e) {
+ if (Log.on) Log.log(Main.class, "couldn't resolve " + u.getHost() + " -- hopefully there is a proxy that can");
+ }
+ Resources.loadArchive(new HTTP(args[startargs]).getInputStream());
} else {
String bytes = Resources.bytesDownloaded < 1024 ?
(Resources.bytesDownloaded + " bytes ") :
(Resources.bytesDownloaded / 1024) + "kb ";
- surf.backbuffer.drawString(Platform.getDefaultFont(), "downloading user interface: " + bytes + "recieved",
+ surf.backbuffer.drawString(Platform.getDefaultFont(), "downloading user interface: " + bytes + "received",
barX, barY - 5, 0xffffffff);
} else {
barPos = barW / 2 + (instantiatedUnits * barW) / (initialTemplate.numUnits() * 2);