if (Log.on) Log.log(Main.class, "downloading xwar");
origin = args[startargs];
URL u = new URL(args[startargs]);
+ if (!u.getFile().endsWith(".xwar"))
+ Platform.criticalAbort("archive filenames must end with \".xwar\"");
try {
originAddr = InetAddress.getByName(u.getHost());
// FIXME: use XMLRPC resolver?
File f = new File(args[startargs]);
origin = "file://" + f.getAbsolutePath();
if (f.isDirectory()) Resources.loadDirectory(f);
- else Resources.loadArchive(new FileInputStream(f));
+ else {
+ if (!args[startargs].endsWith(".xwar"))
+ Platform.criticalAbort("archive filenames must end with \".xwar\"");
+ Resources.loadArchive(new FileInputStream(f));
+ }
}
}