Mirror von
https://github.com/IntellectualSites/FastAsyncWorldEdit.git
synchronisiert 2024-11-10 13:30:05 +01:00
109 Zeilen
3.2 KiB
Java
109 Zeilen
3.2 KiB
Java
// $Id$
|
|
/*
|
|
* WorldEditLibrary
|
|
* Copyright (C) 2010 sk89q <http://www.sk89q.com>
|
|
*
|
|
* This program is free software: you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation, either version 3 of the License, or
|
|
* (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
import java.util.logging.Level;
|
|
import java.util.logging.Logger;
|
|
import java.util.jar.Manifest;
|
|
import java.util.jar.Attributes;
|
|
import java.net.URL;
|
|
import java.io.IOException;
|
|
|
|
/**
|
|
* Entry point for the plugin for hey0's mod.
|
|
*
|
|
* @author sk89q
|
|
*/
|
|
public class WorldEdit extends Plugin {
|
|
/**
|
|
* Logger.
|
|
*/
|
|
private static final Logger logger = Logger.getLogger("Minecraft.WorldEdit");
|
|
/**
|
|
* WorldEditLibrary instance.
|
|
*/
|
|
private static final WorldEditListener listener = new WorldEditListener();
|
|
|
|
/**
|
|
* Initializes the plugin.
|
|
*/
|
|
@Override
|
|
public void initialize() {
|
|
PluginLoader loader = etc.getLoader();
|
|
|
|
loader.addListener(PluginLoader.Hook.BLOCK_CREATED, listener, this,
|
|
PluginListener.Priority.MEDIUM);
|
|
loader.addListener(PluginLoader.Hook.BLOCK_DESTROYED, listener, this,
|
|
PluginListener.Priority.MEDIUM);
|
|
loader.addListener(PluginLoader.Hook.COMMAND, listener, this,
|
|
PluginListener.Priority.MEDIUM);
|
|
loader.addListener(PluginLoader.Hook.DISCONNECT, listener, this,
|
|
PluginListener.Priority.MEDIUM);
|
|
loader.addListener(PluginLoader.Hook.LOGIN, listener, this,
|
|
PluginListener.Priority.MEDIUM);
|
|
|
|
logger.log(Level.INFO, "WorldEdit version " + getVersion() + " loaded.");
|
|
}
|
|
|
|
/**
|
|
* Enables the plugin.
|
|
*/
|
|
@Override
|
|
public void enable() {
|
|
listener.loadConfiguration();
|
|
listener.registerCommands();
|
|
}
|
|
|
|
/**
|
|
* Disables the plugin.
|
|
*/
|
|
@Override
|
|
public void disable() {
|
|
listener.deregisterCommands();
|
|
listener.clearSessions();
|
|
}
|
|
|
|
/**
|
|
* Get the WorldEdit version.
|
|
*
|
|
* @return
|
|
*/
|
|
private String getVersion() {
|
|
try {
|
|
String classContainer = WorldEdit.class.getProtectionDomain()
|
|
.getCodeSource().getLocation().toString();
|
|
URL manifestUrl = new URL("jar:" + classContainer + "!/META-INF/MANIFEST.MF");
|
|
Manifest manifest = new Manifest(manifestUrl.openStream());
|
|
Attributes attrib = manifest.getMainAttributes();
|
|
String ver = (String)attrib.getValue("WorldEdit-Version");
|
|
return ver != null ? ver : "(unavailable)";
|
|
} catch (IOException e) {
|
|
return "(unknown)";
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Returns the listener.
|
|
*
|
|
* @return
|
|
*/
|
|
public WorldEditListener getListener() {
|
|
return listener;
|
|
}
|
|
}
|