From 62213b9f28ad3239d85101ac0f4b3328780982bb Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 8 Jan 2012 21:54:17 -0500 Subject: [PATCH] Allow cross-site use of the status script. Also a random header change, and adjust cache frequency. --- collects/meta/build/build | 2 +- collects/meta/build/current-build-status.cgi | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/meta/build/build b/collects/meta/build/build index e80c1b4e8c..4e9b661f3b 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -1056,7 +1056,7 @@ MAIN_BUILD() { fi if is_yes make_bins; then - header -s "Creating archive" + header -s "Creating source archive" _cd "$maindir" _rm "$repotgz" _cd "$maindir/$cleandir" diff --git a/collects/meta/build/current-build-status.cgi b/collects/meta/build/current-build-status.cgi index a46cf9438e..596d23b356 100644 --- a/collects/meta/build/current-build-status.cgi +++ b/collects/meta/build/current-build-status.cgi @@ -2,12 +2,12 @@ cache="/tmp/racket-build-status-cache" cachelock="$cache-lock" -printf 'Content-type: text/plain\r\n\r\n' +printf 'Content-type: text/plain\r\nAccess-Control-Allow-Origin: *\r\n\r\n' # cache status reports (avoids excessive work during builds) # use a lockfile as a cheap hack to time cache refreshing -if ! lockfile -r 0 -l 30 -s 0 "$cachelock" >& /dev/null \ +if ! lockfile -r 0 -l 25 -s 0 "$cachelock" >& /dev/null \ && [[ -e "$cache" ]]; then cat "$cache"; exit fi