--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/sbin/sync/sync_server	Tue Feb 21 12:58:52 2012 +0100
@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+set -e
+if [ -d ~/tmp/bubbletv_$1 ]; then
+    rm -fr ~/tmp/bubbletv_$1;
+fi
+
+hg archive -r $1 ~/tmp/bubbletv_$1 -X ".hg*"
+
+if [ -d ~/tmp/bubbletv_$1 ]; then
+    cat <<EOT | rsync -Cvrlz --delete --filter=". -" ~/tmp/bubbletv_$1/server/web iri@ftv.iri-research.org:/srv/wsgi/bubbletv
++ core
+EOT
+fi
+
+if [ -d ~/tmp/bubbletv_$1 ]; then
+    echo "Deleting temp export"
+    rm -fr ~/tmp/bubbletv_$1;
+fi