diff --git a/cron/scripts/website-update.sh b/cron/scripts/website-update.sh index ae787ca2d440a098480c140242f7367c4c643d22..7e202b43ad3962ad313c69d4ec94625cc666400c 100755 --- a/cron/scripts/website-update.sh +++ b/cron/scripts/website-update.sh @@ -3,7 +3,6 @@ set -e set -u -LOCKDIR="/tmp/website-update.$(id -u)" SITEDIR=~/website PRODUCTION_BRANCH=master @@ -11,12 +10,6 @@ git_rev_name() { git rev-parse --abbrev-ref --symbolic-full-name "$@" } -if ! mkdir "$LOCKDIR"; then - test -d "$LOCKDIR" - exit $? -fi -trap 'rmdir "$LOCKDIR"' 0 INT TERM QUIT - # If the checkout is not on the production branch, # assume maintenance is happening and stop. cd "$SITEDIR"