Add scripts to dump and load database to mysql server role.

Author: nickygerritsen

icpc-wf/ansible/roles/mysql_server/files/dump-db

@@ -0,0 +1,10 @@
+#!/bin/sh
+
+if [ -z "$1" ]
+then
+	echo "Usage dump-db [name]"
+	echo ".sql.gz will be appended"
+	exit 1
+fi
+
+sudo mysqldump --opt --skip-lock-tables domjudge | pv | gzip > "/home/domjudge/db-dumps/${1}.sql.gz"

icpc-wf/ansible/roles/mysql_server/files/load-db

@@ -0,0 +1,18 @@
+#!/bin/sh
+
+if [ -z "$1" ]
+then
+	echo "Usage load-db [name]"
+	echo ".sql.gz will be appended"
+	exit 1
+fi
+
+FILE="/home/domjudge/db-dumps/${1}.sql.gz"
+
+if [ ! -f "${FILE}" ]
+then
+	echo "Error. File ${FILE} not found"
+	exit 1
+fi
+
+pv "${FILE}" | gunzip | sudo mysql domjudge

icpc-wf/ansible/roles/mysql_server/tasks/main.yml

@@ -25,3 +25,25 @@
 
 - name: make sure mysql is restarted
   meta: flush_handlers
+
+- name: create directory to store scripts & database dumps
+  file:
+    path: /home/domjudge/{{ item }}
+    owner: domjudge
+    group: domjudge
+    state: directory
+    mode: 0755
+  loop:
+    - db-dumps
+    - bin
+
+- name: copy database dump/load scripts
+  copy:
+    src: "{{ item }}"
+    dest: /home/domjudge/bin/{{ item }}
+    owner: domjudge
+    group: domjudge
+    mode: 0755
+  loop:
+  - load-db
+  - dump-db