remove_plugin


Description:

public void remove_plugin (Plugin plugin)

Remove the plugin from the registry.

MT safe.

Parameters:

this

the registry to remove the plugin from

plugin

the plugin to remove