mirror of
https://github.com/django/django.git
synced 2025-01-27 02:29:55 +00:00
9741912a9a
If the current sessions user was logged in via a remote user backend log out the user if REMOTE_USER header not available - otherwise leave it to other auth middleware to install the AnonymousUser. Thanks to Sylvain Bouchard for the initial patch and ticket maintenance.