<% // put width here too to prevent bad layout at startup %> <% // let's remove that for now since we're no longer using percentage width here %>
<% // skip the iframe if refresh disabled String d = request.getParameter("refresh"); String newDelay = ""; if (d == null || "".equals(d)) d = System.getProperty("routerconsole.summaryRefresh"); else // pass the new delay parameter to the iframe newDelay = "?refresh=" + d; if (!"0".equals(d)) out.print("\n"); } else { // since we don't have an iframe this will reload the base page, and // the new delay will be passed to the iframe above out.print("
\n"); out.print("Refresh (s): \n"); out.print("\n"); out.print("
\n"); } %>