From 67b46a9f27b10a2c841a5d32704d826e380b0997 Mon Sep 17 00:00:00 2001
From: sk89q <the.sk89q@gmail.com>
Date: Fri, 26 Nov 2010 09:36:57 -0800
Subject: [PATCH] Catch IOException now raised by PropertiesFile.load().

---
 src/WorldEditListener.java | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/WorldEditListener.java b/src/WorldEditListener.java
index 562178001..665f26cd2 100755
--- a/src/WorldEditListener.java
+++ b/src/WorldEditListener.java
@@ -1934,7 +1934,12 @@ public class WorldEditListener extends PluginListener {
         if (properties == null) {
             properties = new PropertiesFile("worldedit.properties");
         } else {
-            properties.load();
+            try {
+                properties.load();
+            } catch (IOException e) {
+                logger.warning("worldedit.properties could not be loaded: "
+                        + e.getMessage());
+            }
         }
 
         profile = properties.getBoolean("debug-profile", false);