fixed a part of #193.

<l:layout> tag now takes norefresh="true", indicating that this page should not be auto-refreshed. The user setting will be still retained, so as soon as the user moves to other pages, it will take effect again.


git-svn-id: https://hudson.dev.java.net/svn/hudson/trunk/hudson/main@1329 71c3de6d-444a-0410-be80-ed276b4c234a

core/src/main/java/hudson/Functions.java

@@ -209,7 +209,17 @@ public class Functions {
 
     private static final SimpleFormatter formatter = new SimpleFormatter();
 
-    public static void configureAutoRefresh(HttpServletRequest request, HttpServletResponse response) {
+    /**
+     * Used by <tt>layout.jelly</tt> to control the auto refresh behavior.
+     *
+     * @param noAutoRefresh
+     *      On certain pages, like a page with forms, will have annoying interference
+     *      with auto refresh. On those pages, disable auto-refresh.  
+     */
+    public static void configureAutoRefresh(HttpServletRequest request, HttpServletResponse response, boolean noAutoRefresh) {
+        if(noAutoRefresh)
+            return;
+
         String param = request.getParameter("auto_refresh");
         boolean refresh = isAutoRefresh(request);
         if (param != null) {