diff options
| author | Artur Signell <artur@vaadin.com> | 2016-05-25 21:37:56 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2016-05-27 10:03:17 +0000 |
| commit | 5b18c5469e40529fad0d3d014ab4237a56616d81 (patch) | |
| tree | 5c902dc100104040fee1bb198c2e49fbaee76102 /shared | |
| parent | c9f7f0f9e03d9aacea6062e3915f1687a72838b6 (diff) | |
| download | vaadin-framework-5b18c5469e40529fad0d3d014ab4237a56616d81.tar.gz vaadin-framework-5b18c5469e40529fad0d3d014ab4237a56616d81.zip | |
Send an ack message after push has removed connectors (#19822)
The server side needs to know the client has removed the connectors to
be able to do cleanup
Change-Id: Ic3d41cc5cbab035a53bf5c99496d74858c376e73
Diffstat (limited to 'shared')
| -rw-r--r-- | shared/src/main/java/com/vaadin/shared/ui/ui/UIServerRpc.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/shared/src/main/java/com/vaadin/shared/ui/ui/UIServerRpc.java b/shared/src/main/java/com/vaadin/shared/ui/ui/UIServerRpc.java index 887ea760b3..554feaac76 100644 --- a/shared/src/main/java/com/vaadin/shared/ui/ui/UIServerRpc.java +++ b/shared/src/main/java/com/vaadin/shared/ui/ui/UIServerRpc.java @@ -35,4 +35,7 @@ public interface UIServerRpc extends ClickRpc, ServerRpc { * should always be called to ensure the message is flushed right away. */ public void poll(); + + @NoLoadingIndicator + public void acknowledge(); } |