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