SoundSoftware Code Site

$mirrordir    = '/var/mirror'

  $cache_clearance_file = File.join($mirrordir, project.identifier, 'url_changed')

  if File.file?($cache_clearance_file)

    log("\tproject repo url has changed, requesting cache clearance")

    if project.post(:repository_cache, :key => $api_key)

      File.delete($cache_clearance_file)

    end

  end

# If we have a record of the last successfully updated remote repo

# URL, check it against our current remote URL: if it has changed, we

# will need to start again with a new clone rather than pulling

# updates into the existing local mirror

successfile="$project_mirror/last_successful_url"

if [ -f "$successfile" ]; then

    last=$(cat "$successfile")

    if [ x"$last" = x"$remote_repo" ]; then

	echo "$$: Remote URL is unchanged from last successful update"

    else

	echo "$$: Remote URL has changed since last successful update:"

	echo "$$: Last URL was $last, current is $remote_repo"

	suffix="$$.$(date +%s)"

	echo "$$: Moving existing repos to $suffix suffix and starting afresh"

	mv "$project_repo_mirror" "$project_repo_mirror"."$suffix"

	mv "$local_repo" "$local_repo"."$suffix"

	mv "$successfile" "$successfile"."$suffix"

	touch "$project_mirror/url_changed"

    fi

fi

    if [ ! -d "$local_repo" ]; then

	"$hg" init "$local_repo"

    fi

	( cd "$local_repo" && "$hg" --config extensions.hggit= pull "$project_repo_mirror" ) && echo "$remote_repo" > "$successfile"

	( cd "$local_repo" && "$hg" pull "$project_repo_mirror" ) && echo "$remote_repo" > "$successfile"