Revert "Adds support for defining the URL to use for push requests (#18989)"

This reverts commit ca3c460cbd6edb801f7919d046a3323f5f8babf1.

1 files changed, 0 insertions, 33 deletions

diff --git a/server/src/com/vaadin/ui/PushConfiguration.java b/server/src/com/vaadin/ui/PushConfiguration.java
index d2c12afbe5..90ad28542c 100644
--- a/server/src/com/vaadin/ui/PushConfiguration.java
+++ b/server/src/com/vaadin/ui/PushConfiguration.java
@@ -139,29 +139,6 @@ public interface PushConfiguration extends Serializable {
      */
     public void setParameter(String parameter, String value);
 
-    /**
-     * Sets the URL to use for push requests.
-     * <p>
-     * This is only used when overriding the URL to use. Setting this to null
-     * (the default) will use the default URL.
-     * 
-     * @since
-     * @param pushUrl
-     *            The push URL to use
-     */
-    public void setPushUrl(String pushUrl);
-
-    /**
-     * Returns the URL to use for push requests.
-     * <p>
-     * This is only used when overriding the URL to use. Returns null (the
-     * default) when the default URL is used.
-     * 
-     * @since
-     * @return the URL to use for push requests, or null to use to default
-     */
-    public String getPushUrl();
-
 }
 
 class PushConfigurationImpl implements PushConfiguration {
@@ -222,16 +199,6 @@ class PushConfigurationImpl implements PushConfiguration {
         }
     }
 
-    @Override
-    public void setPushUrl(String pushUrl) {
-        getState().pushUrl = pushUrl;
-    }
-
-    @Override
-    public String getPushUrl() {
-        return getState(false).pushUrl;
-    }
-
     /*
      * (non-Javadoc)
      *