Close push connection when UI is detached (#11596)

Change-Id: Ibfc5923406b386786ae399b7f53cea47ac885f48

1 files changed, 34 insertions, 0 deletions

diff --git a/shared/src/com/vaadin/shared/ui/ui/UIClientRpc.java b/shared/src/com/vaadin/shared/ui/ui/UIClientRpc.java
new file mode 100644
index 0000000000..3067b10e24
--- /dev/null
+++ b/shared/src/com/vaadin/shared/ui/ui/UIClientRpc.java
@@ -0,0 +1,34 @@
+/*
+ * Copyright 2000-2013 Vaadin Ltd.
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ * 
+ * http://www.apache.org/licenses/LICENSE-2.0
+ * 
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ */
+package com.vaadin.shared.ui.ui;
+
+import com.vaadin.shared.communication.ClientRpc;
+
+/**
+ * Server to Client RPC methods for UI
+ * 
+ * @since 7.1
+ * @author Vaadin Ltd
+ */
+public interface UIClientRpc extends ClientRpc {
+
+    /**
+     * @since
+     * @param sessionExpired
+     */
+    void uiClosed(boolean sessionExpired);
+
+}