diff 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

--- a/extra/soundsoftware/update-external-repo.sh	Mon Jun 06 12:53:06 2011 +0100
+++ b/extra/soundsoftware/update-external-repo.sh	Mon Jun 06 13:31:44 2011 +0100
@@ -68,7 +68,7 @@
 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:"
@@ -78,6 +78,7 @@
 	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