This was advised by Patrick Uiterwijk. We probably don't need that, but it does not break anything and it is the preferred way how to use HTTPKerberosAuth.
Pull-Request has been merged by jkaluza
This was advised by Patrick Uiterwijk. We probably don't need that, but it does not break anything and it is the preferred way how to use HTTPKerberosAuth.