* auto-deploy update.xml to website

This commit is contained in:
Reinhard Pointner 2011-12-24 10:57:36 +00:00
parent ace3e7a96c
commit d29cfeced5
2 changed files with 3 additions and 2 deletions

View File

@ -421,6 +421,7 @@
<!-- prepare website resources --> <!-- prepare website resources -->
<copy todir="${dir.dist}/website"> <copy todir="${dir.dist}/website">
<fileset dir="${dir.website}"> <fileset dir="${dir.website}">
<include name="*.xml" />
<include name="*.html" /> <include name="*.html" />
<include name="*.css" /> <include name="*.css" />
<include name="*.js" /> <include name="*.js" />

View File

@ -162,8 +162,8 @@ public class Main {
* Show update notifications if updates are available * Show update notifications if updates are available
*/ */
private static void checkUpdate() throws Exception { private static void checkUpdate() throws Exception {
final PreferencesEntry<String> updateIgnoreRevision = Settings.forPackage(Main.class).entry("update.ignore"); final PreferencesEntry<String> updateIgnoreRevision = Settings.forPackage(Main.class).entry("update.revision.ignore");
final Properties updateProperties = new CachedResource<Properties>(getApplicationProperty("update.url"), Properties.class, DAYS.toMillis(1)) { final Properties updateProperties = new CachedResource<Properties>(getApplicationProperty("update.url"), Properties.class, DAYS.toMillis(0)) {
@Override @Override
public Properties process(ByteBuffer data) { public Properties process(ByteBuffer data) {