changeset 48:6f4667d1372d

Try to make web item updates atomic-ish. The Jenkins workspace is exported as the web site. So when updating files that take time, such as making MP3, create to a temp file and rename into place.
author Jim Hague <jim.hague@laicatc.com>
date Sun, 04 Mar 2012 16:09:06 +0000
parents 23cbad0faa52
children ac3bbc2195c1
files makeWebItems.sh
diffstat 1 files changed, 11 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/makeWebItems.sh	Sun Mar 04 16:04:12 2012 +0000
+++ b/makeWebItems.sh	Sun Mar 04 16:09:06 2012 +0000
@@ -17,16 +17,21 @@
 
 mkdir -p $builddir
 
-# Now, for each tune, make the tune JPG and sound.
+# Now, for each tune, make the tune JPG and sound. Do this to temp
+# files and rename into place to make updates as atomic as possible.
 find $booke -name "*.abc" | sort |
     while read filename
     do
         name=`basename $filename .abc`
-        convert $graphicsdir/${name}.eps $builddir/${name}.jpg
+        convert $graphicsdir/${name}.eps $builddir/${name}.jpg.tmp
 
-        abc2midi $filename -o $builddir/${name}.mid
-        timidity -Ow -o $builddir/${name}.wav $builddir/${name}.mid
-        lame --quiet $builddir/${name}.wav $builddir/${name}.mp3
-        rm $builddir/${name}.wav
+        abc2midi $filename -o $builddir/${name}.mid.tmp
+        timidity -Ow -o $builddir/${name}.wav.tmp $builddir/${name}.mid.tmp
+        lame --quiet $builddir/${name}.wav.tmp $builddir/${name}.mp3.tmp
+
+        mv $builddir/${name}.jpg.tmp $builddir/${name}.jpg
+        mv $builddir/${name}.mid.tmp $builddir/${name}.mid
+        mv $builddir/${name}.mp3.tmp $builddir/${name}.mp3
+        rm $builddir/${name}.wav.tmp
     done