have it use KILL if HUP doesnt help
authorjoerg <joerg@c2f067bf-98e0-425f-9c98-e76020cfa380>
Thu, 29 Sep 2011 05:40:44 +0000 (05:40 +0000)
committerjoerg <joerg@c2f067bf-98e0-425f-9c98-e76020cfa380>
Thu, 29 Sep 2011 05:40:44 +0000 (05:40 +0000)
git-svn-id: svn+ssh://svn.debian.org/svn/planet-debian/trunk@1494 c2f067bf-98e0-425f-9c98-e76020cfa380

cron/10svn

index 075189b..29b0039 100755 (executable)
@@ -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