From bf8134f7426c3b4aeaf3f2d9d93b217221822366 Mon Sep 17 00:00:00 2001
From: Alex Dehnert <adehnert@mit.edu>
Date: Fri, 17 May 2013 01:47:12 -0400
Subject: [PATCH] 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.
---
 krbroot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/krbroot b/krbroot
index ee98c87..387ab56 100755
--- 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;
-- 
2.34.1