Author: toad
Date: 2007-09-08 14:57:49 +0000 (Sat, 08 Sep 2007)
New Revision: 15037
Modified:
trunk/freenet/src/freenet/pluginmanager/PluginManager.java
Log:
javadocs
Modified: trunk/freenet/src/freenet/pluginmanager/PluginManager.java
===================================================================
--- trunk/freenet/src/freenet/pluginmanager/PluginManager.java 2007-09-08
14:42:35 UTC (rev 15036)
+++ trunk/freenet/src/freenet/pluginmanager/PluginManager.java 2007-09-08
14:57:49 UTC (rev 15037)
@@ -167,6 +167,11 @@
Logger.normal(this, "Added HTTP handler for
/plugins/"+pl.getClass().getName()+ '/');
}
+ /**
+ * Remove a plugin from the plugin list, unregister it from anywhere it
may
+ * have registered. This is eventually called whenever any plugin is
removed.
+ * @param t
+ */
public void removePlugin(Thread t) {
Object removeKey = null;
synchronized (pluginInfo) {
