[freenet-cvs] r15654 - trunk/freenet/src/freenet/clients/http

[bo...@freenetproject.org]

Author: bombe
Date: 2007-10-30 22:18:58 +0000 (Tue, 30 Oct 2007)
New Revision: 15654

Modified:
   trunk/freenet/src/freenet/clients/http/PproxyToadlet.java
Log:
add refresh of 10s while plugins are being loaded

Modified: trunk/freenet/src/freenet/clients/http/PproxyToadlet.java
===================================================================
--- trunk/freenet/src/freenet/clients/http/PproxyToadlet.java   2007-10-30 
22:17:46 UTC (rev 15653)
+++ trunk/freenet/src/freenet/clients/http/PproxyToadlet.java   2007-10-30 
22:18:58 UTC (rev 15654)
@@ -250,7 +250,14 @@
                                        return;
                                }

+                               Iterator/* <PluginProgress> */loadingPlugins = 
pm.getStartingPlugins().iterator();
+
                                HTMLNode pageNode = 
ctx.getPageMaker().getPageNode(l10n("pluginsWithNodeName", "name", 
core.getMyName()), ctx);
+                               if (loadingPlugins.hasNext()) {
+                                       /* okay, add a refresh. */
+                                       HTMLNode headNode = 
ctx.getPageMaker().getHeadNode(pageNode);
+                                       headNode.addChild("meta", new String[] 
{ "http-equiv", "content" }, new String[] { "refresh", "10; url=" });
+                               }
                                HTMLNode contentNode = 
ctx.getPageMaker().getContentNode(pageNode);

                                
contentNode.addChild(core.alerts.createSummary());
@@ -272,7 +279,6 @@
                                        String shortPluginName = 
pluginName.substring(pluginName.lastIndexOf('.') + 1);
                                        
availablePlugins.remove(shortPluginName);
                                }
-                               Iterator/*<PluginProgress>*/ loadingPlugins = 
pm.getStartingPlugins().iterator();
                                while (loadingPlugins.hasNext()) {
                                        PluginProgress pluginProgress = 
(PluginProgress) loadingPlugins.next();
                                        String pluginName = 
pluginProgress.getName();