donb
committed
on 13 Mar 02
Applied Michael Cleverly's patch #186 which preserves the session_id if a
user re-logs in after, say, being redirected from HTTP to HTTPS.