Backup dumps of domservers to admin machines

Also updated the load-db script to allow loading those dumps from
alternative locations.

provision-contest/ansible/roles/mysql_server/files/load-db

@@ -7,9 +7,18 @@ then
 	exit 1
 fi
 
-FILE="/home/domjudge/db-dumps/${1}.sql.gz"
+FILEHOME="/home/domjudge/db-dumps/${1}.sql.gz"
+FILEBACKUP="/home/domjudge/db-dumps-backup/${1}.sql.gz"
 
-if [ ! -f "${FILE}" ]
+if [ -f "${FILEHOME}" ]
+then
+	FILE="${FILEHOME}"
+elif [ -f "${FILEBACKUP}" ]
+then
+	FILE="${FILEBACKUP}"
+fi
+
+if [ -z "${FILE++}" ] || [ ! -f "${FILE}" ]
 then
 	echo "Error. File ${FILE} not found"
 	exit 1

provision-contest/ansible/sync_dumps.yml

@@ -0,0 +1,31 @@
+---
+- hosts: domserver
+  tasks:
+    - name: Create directory to collect backups
+      file:
+        state: directory
+        owner: root
+        group: root
+        mode: 0755
+        path: "/srv/db-dumps"
+
+    - name: Download dumps to ansible machine
+      synchronize:
+        mode: pull
+        src: "/home/domjudge/db-dumps/"
+        dest: "/srv/db-dumps/"
+
+- hosts: admin
+  tasks:
+    - name: Create directory to collect backups
+      file:
+        state: directory
+        owner: domjudge
+        group: domjudge
+        mode: 0755
+        path: "/home/domjudge/db-dumps-backup"
+
+    - name: Download dumps to admin machines
+      synchronize:
+        dest: "/home/domjudge/db-dumps-backup/"
+        src: "/srv/db-dumps/"