tree fa2ecd072964939c19324a339d6843f9798f93ec
parent f87b8e8b4cd0247ff7198aa4be6fd0bd393f4b38
author Luca Milanesio <luca.milanesio@gmail.com> 1396250932 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1397051752 +0000

[BugFix] /login not enriched when GerritOAuth expires

When GerritOAuth token expires but the JSESSIONID is already
active, the login to GitHub was not performed but the HTTP
request not enriched. The consequence was the inability to login
and the error displayed was the usual Gerrit page on the missing HTTP header.

Change-Id: I9ca91387b040dd35ca1d61671002df0a48b2a9dd