X-Git-Url: http://git.hcoop.net/clinton/scripts.git/blobdiff_plain/a49e47dfbe714e7dc1dbc1c56e2c573c35c673ab..69044a366bd8e306b67db6ec60ae88d00c109ce2:/run-in-pagsh

diff --git a/run-in-pagsh b/run-in-pagsh
index f354c0e..5a54629 100755
--- a/run-in-pagsh
+++ b/run-in-pagsh
@@ -40,7 +40,7 @@ KTAB=/etc/keytabs/user.daemon/$USER
 # Terminate current k5start process, if one is running.
 if test -f "$K5PID"; then
     kill `cat -- "$K5PID"`
-    k5start -qtU -f "$KTAB" -- rm -f "$K5PID"
+    /usr/bin/k5start -qtU -f "$KTAB" -- rm -f "$K5PID"
 fi
 
 # Start fresh k5start daemon which will be refreshing tickets every 540 min