diff options
| author | KHobbits <rob@khobbits.co.uk> | 2013-01-31 20:38:36 +0000 |
|---|---|---|
| committer | KHobbits <rob@khobbits.co.uk> | 2013-01-31 20:38:36 +0000 |
| commit | cdb215bebf91361ae67c5b2455c1a93e808116b7 (patch) | |
| tree | 27953af661d69e5ac49db0b82dc0a001418e4356 /EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds | |
| parent | 2293cbc34fde65c06bd59d741ed19ce8472d9d9b (diff) | |
| parent | fb4a7a3bd67a149c9c6c2e3d03e60bd2ba7f6c89 (diff) | |
| download | Essentials-cdb215bebf91361ae67c5b2455c1a93e808116b7.tar Essentials-cdb215bebf91361ae67c5b2455c1a93e808116b7.tar.gz Essentials-cdb215bebf91361ae67c5b2455c1a93e808116b7.tar.lz Essentials-cdb215bebf91361ae67c5b2455c1a93e808116b7.tar.xz Essentials-cdb215bebf91361ae67c5b2455c1a93e808116b7.zip | |
Merge branch 'groupmanager' of github.com:essentials/Essentials into 2.9
Conflicts:
EssentialsGroupManager/src/Changelog.txt
Diffstat (limited to 'EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds')
| -rw-r--r-- | EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java b/EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java index 12a6a5150..2661c6bc0 100644 --- a/EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java +++ b/EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java @@ -477,14 +477,22 @@ public class WorldsHolder { private void verifyFirstRun() { - Properties server = new Properties(); - try { - server.load(new FileInputStream(new File("server.properties"))); - serverDefaultWorldName = server.getProperty("level-name").toLowerCase(); - setupWorldFolder(serverDefaultWorldName); - } catch (IOException ex) { - GroupManager.logger.log(Level.SEVERE, null, ex); + /* Do not use the folder name if this + * is a Bukkit Forge server. + */ + if (plugin.getServer().getName().equalsIgnoreCase("BukkitForge")) { + serverDefaultWorldName = "overworld"; + + } else { + Properties server = new Properties(); + try { + server.load(new FileInputStream(new File("server.properties"))); + serverDefaultWorldName = server.getProperty("level-name").toLowerCase(); + } catch (IOException ex) { + GroupManager.logger.log(Level.SEVERE, null, ex); + } } + setupWorldFolder(serverDefaultWorldName); } |