In drupal_auth.module, in _drupento_auth_logout function, I think you should use $_SERVER['SERVER_NAME']
instead of $_SERVER['HTTP_HOST']

Because in my case it doesn't work with host like : http://drupal.dev:8080/
$_SERVER['HTTP_HOST'] return drupal.dev:8080
$_SERVER['SERVER_NAME'] return drupal.dev

Comments

mdeltito’s picture

mdeltito commented
Status: Active » Fixed

fixed in tip

make sure you update from our bitbucket repo if you want the latest code. Otherwise, you'll have to wait for the nightly dev release from drupal.org

Status: Fixed » Closed (fixed)

Automatically closed -- issue fixed for 2 weeks with no activity.