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

Changed variable names to reflect others.

Browse Source 
Updated readme to reflect changes
This commit is contained in:
FrozenCow 2010-12-29 03:22:14 +01:00
parent f84b9d4bde
commit 5780bc89f0
2 changed files with 25 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
readme.txt
View File

@ -19,3 +19,4 @@ map-tilepath - point to web/tiles folder
map-signspath - point to signs.txt file (do not need to create the file, one will be created when you create a sign) map-signspath - point to signs.txt file (do not need to create the file, one will be created when you create a sign)
map-serverport - the port the web server runs on (default is 8123) map-serverport - the port the web server runs on (default is 8123)
map-showmarkers - a list of which markers to show on the map, comma separated if multiple (spawn, homes, warps, signs, players, all, none) map-showmarkers - a list of which markers to show on the map, comma separated if multiple (spawn, homes, warps, signs, players, all, none)
map-generateportraits - whether player-portraits are generated by the server (0, 1, default: 0)

6
src/MapManager.java
View File

@ -113,7 +113,7 @@ public class MapManager extends Thread {
public Boolean showWarps = false; public Boolean showWarps = false;
public Boolean showSigns = false; public Boolean showSigns = false;
public Boolean showPlayers = false; public Boolean showPlayers = false;
public Boolean enablePortraitGeneration = false; public Boolean generatePortraits = false;
public void debug(String msg) public void debug(String msg)
{ {
@ -137,7 +137,7 @@ public class MapManager extends Thread {
serverport = Integer.parseInt(properties.getString("map-serverport", "8123")); serverport = Integer.parseInt(properties.getString("map-serverport", "8123"));
datasource = properties.getString("data-source", "flatfile"); datasource = properties.getString("data-source", "flatfile");
showmarkers = properties.getString("map-showmarkers", "all"); showmarkers = properties.getString("map-showmarkers", "all");
enablePortraitGeneration = !properties.getString("map-portraitgeneration", "0").equals("0"); generatePortraits = !properties.getString("map-generateportraits", "0").equals("0");
} catch(Exception ex) { } catch(Exception ex) {
log.log(Level.SEVERE, "Exception while reading properties for dynamic map", ex); log.log(Level.SEVERE, "Exception while reading properties for dynamic map", ex);
} }
@ -902,7 +902,7 @@ public class MapManager extends Thread {
protected void getPlayerImage(Player player) protected void getPlayerImage(Player player)
{ {
if (!enablePortraitGeneration) return; if (!generatePortraits) return;
String urlString = "http://www.minecraft.net/skin/" + player.getName() + ".png"; String urlString = "http://www.minecraft.net/skin/" + player.getName() + ".png";
String filename = tilepath + player.getName() + ".png"; String filename = tilepath + player.getName() + ".png";