Google Git
Sign in
gerrit/gerrit/3b6c86cb621c694f6b67075be4ce3453eae6b9a6
commit
3b6c86cb621c694f6b67075be4ce3453eae6b9a6
[log]
author
David Ostrovsky <david@ostrovsky.org>
Sat Apr 25 12:33:28 2015 +0200
committer
David Ostrovsky <david@ostrovsky.org>
Sat Apr 25 12:37:47 2015 +0200
tree
d5f624626304452c7cb289f6a6cf96975bc98036
parent
e0ad57751b62daa58df820ff0c11b954cd183112 [diff]
Hybrid OpenID/OAuth: Check for session validity during logout

GitHub-Bug: https://github.com/davido/gerrit-oauth-provider/issues/9
Change-Id: I17aaed508ef61959a3fc5634d76eb5386305f9a0
1 file changed
tree: d5f624626304452c7cb289f6a6cf96975bc98036
  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