diff options
Diffstat (limited to 'server/src')
| -rw-r--r-- | server/src/com/vaadin/server/VaadinService.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/server/src/com/vaadin/server/VaadinService.java b/server/src/com/vaadin/server/VaadinService.java index 86cd9701c0..6fd0b23f7b 100644 --- a/server/src/com/vaadin/server/VaadinService.java +++ b/server/src/com/vaadin/server/VaadinService.java @@ -446,6 +446,9 @@ public abstract class VaadinService implements Serializable { session.accessSynchronously(new Runnable() { @Override public void run() { + if (!session.isClosing()) { + closeSession(session); + } ArrayList<UI> uis = new ArrayList<UI>(session.getUIs()); for (final UI ui : uis) { ui.accessSynchronously(new Runnable() { |