From: joerg <joerg@c2f067bf-98e0-425f-9c98-e76020cfa380>
Date: Thu, 29 Sep 2011 05:40:44 +0000 (+0000)
Subject: have it use KILL if HUP doesnt help
X-Git-Url: https://git.deb.at/?p=deb%2Fhackedgotchi.git;a=commitdiff_plain;h=434df57563978c3be97024fcfa48aed2607f84be

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 075189b..29b0039 100755
--- 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