* Stop this plugin
*/
protected void stopPlugin() throws PluginException {
try {
ShellManager mgr = InitialNaming.lookup(ShellManager.NAME);
mgr.unregisterInterpreterFactory(FACTORY);
} catch (NamingException ex) {
throw new PluginException("Cannot find the shell manager", ex);
}
}
}