mirror/WorldEdit
2
0
Fork 0
mirror of https://github.com/EngineHub/WorldEdit.git synced 2024-12-15 04:41:37 +08:00
Code Issues Packages Projects Releases Wiki Activity

Catch IOException now raised by PropertiesFile.load().

Browse Source
This commit is contained in:
sk89q 2010-11-26 09:36:57 -08:00
parent 184af85d34
commit 67b46a9f27
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/WorldEditListener.java
View File

@ -1934,7 +1934,12 @@ public void loadConfiguration() {
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);