From c44f8380b2f83920676fe993a240976d52437adf Mon Sep 17 00:00:00 2001
From: Leif Åstrand <leif@vaadin.com>
Date: Thu, 18 Apr 2013 16:05:40 +0300
Subject: Load vaadinPush.js on demand (#11506)

For optimal performance, the script will still be included in the host
HTML if push is enabled when the UI is bootstrapped.

Change-Id: I2245b45434f3097c32fd3580267f692dce3b7649
---
 shared/src/com/vaadin/shared/ApplicationConstants.java | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'shared/src/com/vaadin')

diff --git a/shared/src/com/vaadin/shared/ApplicationConstants.java b/shared/src/com/vaadin/shared/ApplicationConstants.java
index 5f23a3dc38..6b0c8e7244 100644
--- a/shared/src/com/vaadin/shared/ApplicationConstants.java
+++ b/shared/src/com/vaadin/shared/ApplicationConstants.java
@@ -72,4 +72,10 @@ public class ApplicationConstants implements Serializable {
      * </p>
      */
     public static final String VAADIN_DIR_URL = "vaadinDir";
+
+    /**
+     * The name of the javascript containing push support. The file is located
+     * in the VAADIN directory.
+     */
+    public static final String VAADIN_PUSH_JS = "vaadinPush.js";
 }
-- 
cgit v1.2.3