remove_plugin

Description:

public void remove_plugin (Plugin plugin)

Remove the plugin from the registry.

MT safe.

this	the registry to remove the plugin from
plugin	the plugin to remove