have it use KILL if HUP doesnt help

git-svn-id: svn+ssh://svn.debian.org/svn/planet-debian/trunk@1494 c2f067bf-98e0-425f-9c98-e76020cfa380

diff --git a/cron/10svn b/cron/10svn
index 075189bb5c0286d368b82e3662fccc336f911a5c..29b00396bf7cba04d455db3da59b06bb339b2ca4 100755 (executable)
--- a/cron/10svn
+++ b/cron/10svn
@@ -1,9 +1,9 @@
 #!/bin/sh
 
 cd /org/planet.debian.org/config
-timeout 120 svn cleanup
-timeout 120 svn update -q
+timeout -k 120 120 svn cleanup
+timeout -k 120 120 svn update -q
 
 cd /org/planet.debian.org/www/heads
-timeout 120 svn cleanup
-timeout 120 svn update -q
+timeout -k 120 120 svn cleanup
+timeout -k 120 120 svn update -q