<% // The refresh delay, 0 to disable String d = "0"; boolean allowIFrame = intl.allowIFrame(request.getHeader("User-Agent")); if (allowIFrame) { // skip the iframe if refresh disabled d = request.getParameter("refresh"); String newDelay = ""; if (d == null || "".equals(d)) d = intl.getRefresh(); else { long delay; try { delay = Long.parseLong(d); } catch (NumberFormatException nfe) { delay = 60; } // pass the new delay parameter to the iframe newDelay = "?refresh=" + delay; // update disable boolean intl.setDisableRefresh(d); } if (false && !intl.getDisableRefresh()) out.print("\n"); } %>

<% if (allowIFrame) { // Display the whole summary bar %> <%@include file="summarynoframe.jsi" %> <% } else { // Text browsers don't render the two divs side-by-side, so just provide a link out.print(""); out.print(intl._t("Sidebar")); out.print(""); } // d and allowIFrame defined above if (false && !intl.getDisableRefresh()) { out.print("

\n"); } else if (false && allowIFrame) { // 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("