diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2011-05-31 14:43:02 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2011-05-31 14:43:02 +0000 |
commit | fb30ae49e3f9c0b02ce4ff5aa0f140868d97b33e (patch) | |
tree | aebfb29549d3751cc32309108d244498a5950d34 /Master/tlpkg/bin/tl-update-tlnet | |
parent | 78bb064e66128071dc7b68111598c08428b5588e (diff) |
try to avoid a race with mirmon's cron
a cron periodocally writes to tlpretest, which may cause 'rm -rf $tlnet' to
fail when $tlnet=tlprestet and the timing is wrong; hopefully this is less
likely to happen using mv first, then rm -rf later
git-svn-id: svn://tug.org/texlive/trunk@22703 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-tlnet')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-tlnet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-tlnet b/Master/tlpkg/bin/tl-update-tlnet index e0cce6f648f..543b5c2a305 100755 --- a/Master/tlpkg/bin/tl-update-tlnet +++ b/Master/tlpkg/bin/tl-update-tlnet @@ -206,7 +206,7 @@ if $chicken; then echo "$0: Chicken mode, not updating anything." else echo "$0: Updating $tlweb from $tltry." - rm -rf $tlweb + mv $tlweb $tltrybase/tlnet.old mv $tltry $tlweb rm -rf $tltrybase echo "$0: Done." |