Plexus/Plex-FAWE
1
0
Fork 0
mirror of https://github.com/plexusorg/Plex-FAWE.git synced 2024-07-09 10:20:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix duplicate WEPIF message

Browse Source
This commit is contained in:
zml2008 2012-03-01 21:32:33 -08:00
parent 373e4b90c9
commit c58276354e
1 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
src/main/java/com/sk89q/worldedit/bukkit/WorldEditPlugin.java
View File

@ -41,7 +41,7 @@ import com.sk89q.worldedit.regions.*;
/** /**
* Plugin for Bukkit. * Plugin for Bukkit.
* *
* @author sk89q * @author sk89q
*/ */
public class WorldEditPlugin extends JavaPlugin { public class WorldEditPlugin extends JavaPlugin {
@ -92,7 +92,7 @@ public class WorldEditPlugin extends JavaPlugin {
PermissionsResolverManager.initialize(this); PermissionsResolverManager.initialize(this);
// Load the configuration // Load the configuration
loadConfiguration(); config.load();
// Setup interfaces // Setup interfaces
server = new BukkitServerInterface(this, getServer()); server = new BukkitServerInterface(this, getServer());
@ -133,7 +133,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Create a default configuration file from the .jar. * Create a default configuration file from the .jar.
* *
* @param name * @param name
*/ */
protected void createDefaultConfiguration(String name) { protected void createDefaultConfiguration(String name) {
@ -201,7 +201,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Gets the session for the player. * Gets the session for the player.
* *
* @param player * @param player
* @return * @return
*/ */
@ -211,7 +211,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Gets the session for the player. * Gets the session for the player.
* *
* @param player * @param player
* @return * @return
*/ */
@ -229,7 +229,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Remember an edit session. * Remember an edit session.
* *
* @param player * @param player
* @param editSession * @param editSession
*/ */
@ -245,7 +245,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Wrap an operation into an EditSession. * Wrap an operation into an EditSession.
* *
* @param player * @param player
* @param op * @param op
* @throws Throwable * @throws Throwable
@ -265,7 +265,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Get the API. * Get the API.
* *
* @return * @return
*/ */
@Deprecated @Deprecated
@ -275,7 +275,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Returns the configuration used by WorldEdit. * Returns the configuration used by WorldEdit.
* *
* @return * @return
*/ */
public BukkitConfiguration getLocalConfiguration() { public BukkitConfiguration getLocalConfiguration() {
@ -284,7 +284,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Get the permissions resolver in use. * Get the permissions resolver in use.
* *
* @return * @return
*/ */
public PermissionsResolverManager getPermissionsResolver() { public PermissionsResolverManager getPermissionsResolver() {
@ -293,7 +293,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Used to wrap a Bukkit Player as a LocalPlayer. * Used to wrap a Bukkit Player as a LocalPlayer.
* *
* @param player * @param player
* @return * @return
*/ */
@ -308,10 +308,10 @@ public class WorldEditPlugin extends JavaPlugin {
return new BukkitCommandSender(this, this.server, sender); return new BukkitCommandSender(this, this.server, sender);
} }
/** /**
* Get the server interface. * Get the server interface.
* *
* @return * @return
*/ */
public ServerInterface getServerInterface() { public ServerInterface getServerInterface() {
@ -320,7 +320,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Get WorldEdit. * Get WorldEdit.
* *
* @return * @return
*/ */
public WorldEdit getWorldEdit() { public WorldEdit getWorldEdit() {
@ -329,7 +329,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Gets the region selection for the player. * Gets the region selection for the player.
* *
* @param player * @param player
* @return the selection or null if there was none * @return the selection or null if there was none
*/ */
@ -362,7 +362,7 @@ public class WorldEditPlugin extends JavaPlugin {
/** /**
* Sets the region selection for a player. * Sets the region selection for a player.
* *
* @param player * @param player
* @param selection * @param selection
*/ */