From 277adf6142a4fa51a0aba42d9934ac0c0010e3d5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Leif=20=C3=85strand?= <leif@vaadin.com>
Date: Mon, 22 Apr 2013 08:56:42 +0300
Subject: [PATCH] Set PushMode.AUTOMATIC as the default @Push value (#11653)

Change-Id: I3db47e1bd87e4e58a404b93a23da24270f764e14
---
 server/src/com/vaadin/annotations/Push.java | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/server/src/com/vaadin/annotations/Push.java b/server/src/com/vaadin/annotations/Push.java
index e97a1a34dd..58e70acf21 100644
--- a/server/src/com/vaadin/annotations/Push.java
+++ b/server/src/com/vaadin/annotations/Push.java
@@ -25,7 +25,12 @@ import com.vaadin.shared.communication.PushMode;
 import com.vaadin.ui.UI;
 
 /**
- * Defines a specific {@link PushMode} for a {@link UI}.
+ * Configures server push for a {@link UI}. Adding <code>@Push</code> to a UI
+ * class configures the UI for automatic push. If some other push mode is
+ * desired, it can be passed as a parameter, e.g.
+ * <code>@Push(PushMode.MANUAL)</code>.
+ * 
+ * @see PushMode
  * 
  * @author Vaadin Ltd.
  * @since 7.1
@@ -34,10 +39,11 @@ import com.vaadin.ui.UI;
 @Target(ElementType.TYPE)
 public @interface Push {
     /**
-     * Returns the {@link PushMode} to use for the annotated UI.
+     * Returns the {@link PushMode} to use for the annotated UI. The default
+     * push mode when this annotation is present is {@link PushMode#AUTOMATIC}.
      * 
      * @return the push mode to use
      */
-    public PushMode value();
+    public PushMode value() default PushMode.AUTOMATIC;
 
 }
-- 
2.39.5