From d6ca2a27546bfbde6ed61e0e9dd3a31e991a22f0 Mon Sep 17 00:00:00 2001 From: "Kyle J. McKay" Date: Sat, 15 Feb 2014 21:28:21 -0800 Subject: [PATCH] clone.sh: remove any previous darcs attempt on clone In case the initial darcs clone fails the darcsweb.darcs directory must be removed before trying again. Remove any existing darcsweb.darcs directory before attempting to clone a darcs URL. --- taskd/clone.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/taskd/clone.sh b/taskd/clone.sh index 23f8e1e..ec4152a 100755 --- a/taskd/clone.sh +++ b/taskd/clone.sh @@ -140,6 +140,8 @@ case "$url" in ;; darcs://*) httpurl="http://${url#darcs://}" + # Remove any left-over darcsweb.darcs file from a previous failed attempt + rm -rf darcsweb.darcs git_darcs_fetch "$httpurl" ;; bzr://*) -- 2.11.4.GIT