From b5bd4bd965e0c8114c92890059663d7857a159b0 Mon Sep 17 00:00:00 2001
From: FrozenCow <frozencow@gmail.com>
Date: Wed, 29 Dec 2010 02:36:33 +0100
Subject: [PATCH] Added option to enable server-side portrait generation
 (default is off).

---
 MapManager.java | 3 +++
 1 file changed, 3 insertions(+)

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