v1.5.0 added /extractplugin

This commit is contained in:
Shoghi Cervantes 2014-04-03 03:38:16 +02:00
parent 61192b172b
commit 2ab1997f21

View File

@ -197,6 +197,7 @@ class PluginManager{
}elseif(strpos($name, " ") !== false){
console("[WARNING] Plugin '" . $name . "' uses spaces in its name, this is discouraged");
}
if(isset($plugins[$name]) or $this->getPlugin($name) instanceof Plugin){
console("[ERROR] Could not load duplicate plugin '" . $name . "': plugin exists");
continue;