diff options
| author | Artur Signell <artur@vaadin.com> | 2013-09-09 14:38:21 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2013-09-10 13:14:03 +0000 |
| commit | e4d99b3631a70a9ca11c085b4de09b4daf400176 (patch) | |
| tree | c63bcb002cb0a99cdc55d95be43e1d00bc0c6ce6 /client | |
| parent | 0d79a84494b21a3b553d56245c4a1ee09fb022b4 (diff) | |
| download | vaadin-framework-e4d99b3631a70a9ca11c085b4de09b4daf400176.tar.gz vaadin-framework-e4d99b3631a70a9ca11c085b4de09b4daf400176.zip | |
Use non-obfuscated version of vaadinPush.js when not in production (#12527)
Change-Id: I8e0baec2391b140e6a72eedf6606fd2792c735bc
Diffstat (limited to 'client')
| -rw-r--r-- | client/src/com/vaadin/client/communication/AtmospherePushConnection.java | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/client/src/com/vaadin/client/communication/AtmospherePushConnection.java b/client/src/com/vaadin/client/communication/AtmospherePushConnection.java index 20ccd45173..3cecb09dc1 100644 --- a/client/src/com/vaadin/client/communication/AtmospherePushConnection.java +++ b/client/src/com/vaadin/client/communication/AtmospherePushConnection.java @@ -21,6 +21,7 @@ import java.util.ArrayList; import com.google.gwt.core.client.JavaScriptObject; import com.google.gwt.core.client.Scheduler; import com.google.gwt.user.client.Command; +import com.vaadin.client.ApplicationConfiguration; import com.vaadin.client.ApplicationConnection; import com.vaadin.client.ApplicationConnection.CommunicationErrorHandler; import com.vaadin.client.ResourceLoader; @@ -473,7 +474,13 @@ public class AtmospherePushConnection implements PushConnection { if (isAtmosphereLoaded()) { command.execute(); } else { - final String pushJs = ApplicationConstants.VAADIN_PUSH_JS; + final String pushJs; + if (ApplicationConfiguration.isProductionMode()) { + pushJs = ApplicationConstants.VAADIN_PUSH_JS; + } else { + pushJs = ApplicationConstants.VAADIN_PUSH_DEBUG_JS; + } + VConsole.log("Loading " + pushJs); ResourceLoader.get().loadScript( connection.getConfiguration().getVaadinDirUrl() + pushJs, |