Fixed kerberos path again. Default Ubuntu installs do indeed use /var/lib/krb5kdc. Really should try to autodetect that.

     1

<?php

     2

require('includes/starthere.php');

     3

redirect(sprintf('http://%s/webauth-logout', gethostname()));