Merge branch 'master' into feature/mapping

This commit is contained in:
sk89q
2014-07-01 12:59:55 -07:00
28 changed files with 775 additions and 185 deletions

View File

@ -30,12 +30,12 @@ import java.io.File;
import static com.google.common.base.Preconditions.checkArgument;
import static com.google.common.base.Preconditions.checkNotNull;
class BukkitCommandSender implements Actor {
public class BukkitCommandSender implements Actor {
private CommandSender sender;
private WorldEditPlugin plugin;
BukkitCommandSender(WorldEditPlugin plugin, CommandSender sender) {
public BukkitCommandSender(WorldEditPlugin plugin, CommandSender sender) {
checkNotNull(plugin);
checkNotNull(sender);
checkArgument(!(sender instanceof Player), "Cannot wrap a player");

View File

@ -156,10 +156,12 @@ public class WorldEditPlugin extends JavaPlugin implements TabCompleter {
*/
@Override
public void onDisable() {
controller.clearSessions();
controller.getPlatformManager().unregister(server);
config.unload();
server.unregisterCommands();
if (controller != null) {
controller.clearSessions();
controller.getPlatformManager().unregister(server);
config.unload();
server.unregisterCommands();
}
this.getServer().getScheduler().cancelTasks(this);
}