]> source.dussan.org Git - vaadin-framework.git/commit
Fix race in VaadinService.lockSession() (#12282) 7.1.2
authorJohannes Dahlström <johannesd@vaadin.com>
Mon, 5 Aug 2013 12:47:16 +0000 (15:47 +0300)
committerVaadin Code Review <review@vaadin.com>
Tue, 6 Aug 2013 13:14:39 +0000 (13:14 +0000)
commit7212e02a9b4eb02759f7b2195187a6e6db6bfb33
treec7ba48f9e97f063240a2d59212116e58f97b7294
parent16d17f9824dfac7e55e3ca98444f9da3205c0336
Fix race in VaadinService.lockSession() (#12282)

The session might be invalidated before lockSession() acquires the lock.
Check if the session is still valid after locking and ensure
SessionExpiredException is thrown if not.

Change-Id: Iad716332a65b7c198427fce5198f6808140c140c
server/src/com/vaadin/server/VaadinService.java