summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
d1071b2)
git-svn-id: svn+ssh://svn.debian.org/svn/planet-debian/trunk@1494
c2f067bf-98e0-425f-9c98-
e76020cfa380
#!/bin/sh
cd /org/planet.debian.org/config
#!/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
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