Finish ripping out krb4 support

Modern systems don't support krb4, and we haven't kinit'd with krb4 tickets for
ages. Given that, don't try to (unsupportedly) kdestroy our (non-existent) krb4
tickets.

diff --git a/krbroot b/krbroot
index ee98c870eb6435a7b1e305e587f37f371c09d8f3..387ab569591c760fa86335389bc75bbcad5d3a13 100755 (executable)
--- a/krbroot
+++ b/krbroot
@@ -8,7 +8,7 @@ case $1 in
         exec kinit -F -5 -l15m $ATHENA_USER/root@ATHENA.MIT.EDU "$@"
         ;;
     destroy)
-        exec kdestroy -45
+        exec kdestroy -5
         ;;
     shell)
         klist -s || krbroot init || exit 1;