Google Git
Sign in
gerrit/gerrit/8573bed76a959e2cf215de9ef7286b4ab48125e8
commit
8573bed76a959e2cf215de9ef7286b4ab48125e8
[log]
author
David Ostrovsky <david@ostrovsky.org>
Sat Apr 25 12:31:57 2015 +0200
committer
David Ostrovsky <david@ostrovsky.org>
Sat Apr 25 12:39:28 2015 +0200
tree
7aa4db2699270fc111bc436dae171124294cf486
parent
e0ad57751b62daa58df820ff0c11b954cd183112 [diff]
OAuth: Check for session validity during logout

GitHub-Bug: https://github.com/davido/gerrit-oauth-provider/issues/9
Change-Id: Id25792cdf6e28ba8d0f97bcc41d8c6409558314e
1 file changed
tree: 7aa4db2699270fc111bc436dae171124294cf486
  1. .settings/
  2. bucklets/
  3. contrib/
  4. Documentation/
  5. gerrit-acceptance-tests/
  6. gerrit-antlr/
  7. gerrit-cache-h2/
  8. gerrit-common/
  9. gerrit-extension-api/
  10. gerrit-gwtdebug/
  11. gerrit-gwtexpui/
  12. gerrit-gwtui/
  13. gerrit-gwtui-common/
  14. gerrit-httpd/
  15. gerrit-launcher/
  16. gerrit-lucene/
  17. gerrit-main/
  18. gerrit-oauth/
  19. gerrit-openid/
  20. gerrit-patch-commonsnet/
  21. gerrit-patch-jgit/
  22. gerrit-pgm/
  23. gerrit-plugin-api/
  24. gerrit-plugin-archetype/
  25. gerrit-plugin-gwt-archetype/
  26. gerrit-plugin-gwtui/
  27. gerrit-plugin-js-archetype/
  28. gerrit-prettify/
  29. gerrit-reviewdb/
  30. gerrit-server/
  31. gerrit-solr/
  32. gerrit-sshd/
  33. gerrit-util-cli/
  34. gerrit-util-ssl/
  35. gerrit-war/
  36. lib/
  37. plugins/
  38. ReleaseNotes/
  39. tools/
  40. website/
  41. .buckconfig
  42. .buckversion
  43. .gitignore
  44. .gitmodules
  45. .pydevproject
  46. BUCK
  47. COPYING
  48. INSTALL
  49. SUBMITTING_PATCHES
  50. VERSION