How do you explicitly close a VaadinServiceSession?

I need to “close” a
VaadinServiceSession
.

That is, I want the HTTP session to forget all state associated with a
VaadinServiceSession
object. So, for example, any remaining open browser tabs will get the login screen on their next update attempt, because the old
VaadinServiceSession
and all it’s associated state will no longer be found.

There doesn’t seem to be any method like
VaadinServiceSession.close()
or
VaadinService.close(VaadinServiceSession session)
.

In Vaadin 6.x,
Application.close()
accomplished this nicely.

How can this be done in Vaadin 7.x?

Thanks.


http://dev.vaadin.com/ticket/9859

The current plain is to simply add VaadinService.closeSession(VaadinServiceSession).

Sounds good, thanks.