From 434df57563978c3be97024fcfa48aed2607f84be Mon Sep 17 00:00:00 2001 From: joerg Date: Thu, 29 Sep 2011 05:40:44 +0000 Subject: [PATCH] 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 --- cron/10svn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 -- 2.39.2