diff options
| author | Sergey Budkin <sergey@vaadin.com> | 2014-09-22 10:43:02 +0300 |
|---|---|---|
| committer | Markus Koivisto <markus@vaadin.com> | 2014-10-07 17:26:25 +0300 |
| commit | 10d26786290ad8efcffbbee714bc182ccfc691c7 (patch) | |
| tree | 59c961517d65b1d49784bc9ae802218157a0a06d /server/src | |
| parent | 5c2d6b49c1cb2895c110494d60310e58bb3fd21d (diff) | |
| download | vaadin-framework-10d26786290ad8efcffbbee714bc182ccfc691c7.tar.gz vaadin-framework-10d26786290ad8efcffbbee714bc182ccfc691c7.zip | |
Exception on closing inactive UI causes issues (#14651)
Added proposed fix
Change-Id: I88085546c2bf47f1e0952d64efadfc40bac12987
Diffstat (limited to 'server/src')
| -rw-r--r-- | server/src/com/vaadin/server/communication/AtmospherePushConnection.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server/src/com/vaadin/server/communication/AtmospherePushConnection.java b/server/src/com/vaadin/server/communication/AtmospherePushConnection.java index f8ef360eda..a274fbbb9b 100644 --- a/server/src/com/vaadin/server/communication/AtmospherePushConnection.java +++ b/server/src/com/vaadin/server/communication/AtmospherePushConnection.java @@ -269,6 +269,7 @@ public class AtmospherePushConnection implements PushConnection { // the resource is already resumed; this is a bit hacky and should // be implemented in a better way in 7.2. resource = null; + state = State.DISCONNECTED; return; } |