Upstream/dynmap
1
0
Fork 0
mirror of https://github.com/webbukkit/dynmap.git synced 2024-11-24 11:15:21 +01:00
Code Issues Projects Releases Wiki Activity

Fixed jsontimer-interval config not being used.

Browse Source 
Change JsonTimerTask.java to use jsontimer-interval+10 to allow a buffer for late/delayed client requests(to prevent updated tiles info to be missing)
This commit is contained in:
Jason Booth 2011-02-17 10:05:07 -06:00
parent 77d9a88868
commit 3916c363ae
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/org/dynmap/DynmapPlugin.java
View File

@ -115,7 +115,7 @@ public class DynmapPlugin extends JavaPlugin {
if(configuration.getBoolean("jsonfile", false)) { if(configuration.getBoolean("jsonfile", false)) {
jsonConfig(); jsonConfig();
int jsonInterval = configuration.getInt("jsonfile", 1) * 1000; int jsonInterval = configuration.getInt("jsonfile-interval", 1) * 1000;
timer = new Timer(); timer = new Timer();
timer.scheduleAtFixedRate(new JsonTimerTask(this, configuration), jsonInterval, jsonInterval); timer.scheduleAtFixedRate(new JsonTimerTask(this, configuration), jsonInterval, jsonInterval);
} }

2
src/main/java/org/dynmap/JsonTimerTask.java
View File

@ -52,7 +52,7 @@ class JsonTimerTask extends TimerTask
update.players[i] = new Client.Player(p.getName(), pl.getWorld().getName(), pl.getX(), pl.getY(), pl.getZ()); update.players[i] = new Client.Player(p.getName(), pl.getWorld().getName(), pl.getX(), pl.getY(), pl.getZ());
} }
update.updates = mapManager.getWorldUpdates(world.getName(), current - 10L); update.updates = mapManager.getWorldUpdates(world.getName(), current - (configuration.getInt("jsonfile-interval", 1) + 10));
File webpath = new File(this.configuration.getString("webpath", "web"), "dynmap_"+world.getName()+".json"); File webpath = new File(this.configuration.getString("webpath", "web"), "dynmap_"+world.getName()+".json");
File outputFile; File outputFile;