tree 7aa4db2699270fc111bc436dae171124294cf486
parent e0ad57751b62daa58df820ff0c11b954cd183112
author David Ostrovsky <david@ostrovsky.org> 1429957917 +0200
committer David Ostrovsky <david@ostrovsky.org> 1429958368 +0200

OAuth: Check for session validity during logout

GitHub-Bug: https://github.com/davido/gerrit-oauth-provider/issues/9
Change-Id: Id25792cdf6e28ba8d0f97bcc41d8c6409558314e