build.xml

Improved update procedure for servers with plugin already installed - only unzips newer files
This commit is contained in:
walterhiggins 2013-01-19 17:00:22 +00:00
parent 438ec92342
commit 24f7b594dd

View file

@ -38,8 +38,8 @@ public class ScriptCraftPlugin extends JavaPlugin
{
getLogger().finest("Directory " + JS_PLUGINS_DIR + " does not exist.");
getLogger().finest("Initializing " + JS_PLUGINS_DIR + " directory with contents from plugin archive.");
jsPlugins.mkdir();
}
ZipInputStream zis = new ZipInputStream(getResource(JS_PLUGINS_DIR + ".zip"));
ZipEntry entry;
@ -47,7 +47,6 @@ public class ScriptCraftPlugin extends JavaPlugin
while ( ( entry = zis.getNextEntry() ) != null)
{
String filename = entry.getName();
getLogger().finest("Unzipping " + filename);
File newFile = new File(jsPlugins.getName() + File.separator + filename);
//create all non exists folders
@ -55,11 +54,26 @@ public class ScriptCraftPlugin extends JavaPlugin
if (entry.isDirectory()){
newFile.mkdirs();
}else{
//
// only write out to file if zip entry is newer than file
//
long zTime = entry.getTime();
boolean unzip = false;
if (!newFile.exists())
unzip = true;
else{
long fTime = newFile.lastModified();
if (zTime > fTime)
unzip = true;
}
if (unzip){
getLogger().info("Unzipping " + filename);
FileOutputStream fout = new FileOutputStream(newFile);
for (int c = zis.read(); c != -1; c = zis.read()) {
fout.write(c);
}
fout.close();
}
}
zis.closeEntry();
@ -70,7 +84,6 @@ public class ScriptCraftPlugin extends JavaPlugin
ioe.printStackTrace();
}
}
}
@Override
public void onEnable()