comparison extra/soundsoftware/update-external-repo.sh @ 437:102056ec2de9 bug_169

Introduce a method on the sys controller to clear a repository cache; use a file in the mirror dir to notify the Ruby external repo script that it needs to call it

 # 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
+    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 "$project_repo_mirror" ]; then