On 17 May 2002, Michael Watkins said:
> Cut and pasted the wrong code there...
>
> def logon(request):
>     referer = "/"
>     if request.get_environ('HTTP_REFERER'):
>         referer = request.get_environ('HTTP_REFERER')
>     if referer.find('/logon') == -1:
>         redirect_url = referer
>     else:
>         redirect_url = "/"
>     return DoLogin(redirect_url).handle(request)

A shorter way to code that is:

  referer = request.get_environ('HTTP_REFERER', "/")
  if referer.find('/logon') == -1:
      # ...

...although I'm not sure why "/" is a more appropriate default value
than "".

        Greg