git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 628a9371 authored by Evan Prodromou's avatar Evan Prodromou

say that it's OK to do OpenID login in private mode

parent 4586e15f
......@@ -107,8 +107,7 @@ function checkMirror($action_obj)
function isLoginAction($action)
{
static $loginActions = array('login', 'openidlogin', 'finishopenidlogin',
'recoverpassword', 'api', 'doc', 'register');
static $loginActions = array('login', 'recoverpassword', 'api', 'doc', 'register');
$login = null;
......
......@@ -129,4 +129,17 @@ class OpenIDPlugin extends Plugin
return true;
}
}
function onLoginAction($action, &$login)
{
switch ($action)
{
case 'openidlogin':
case 'finishopenidlogin':
$login = true;
return false;
default:
return true;
}
}
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment