Comment 3 for bug 557976

Logged In: YES
user_id=42839

I'm sorry - that's a local modification, of course, and I shouldn't
have included it with this patch. I have hacked in another
authentication system for our Kerberos realm, cf. http://www.mail-
<email address hidden>/msg03713.html