projects
/
deb
/
hackedgotchi.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d1071b2
)
have it use KILL if HUP doesnt help
author
joerg
<joerg@c2f067bf-98e0-425f-9c98-e76020cfa380>
Thu, 29 Sep 2011 05:40:44 +0000
(
05:40
+0000)
committer
joerg
<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
patch
|
blob
|
history
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