Replication fails in the ICPC image

Because we have more interfaces we need to specify which network
interface we want to use.

(cherry picked from commit 63fac40)

Author: Michael Vasseur

provision-contest/ansible/roles/keepalived/templates/keepalived.conf.j2

@@ -1,6 +1,6 @@
 vrrp_instance lb_ipv4 {
 	state MASTER
-	interface {{ ansible_facts['default_ipv4']['interface'] }}
+	interface {{ KEEPALIVED_INTERFACE|default(ansible_facts['default_ipv4']['interface']) }}
 	use_vmac
 	virtual_router_id 32
 	priority {{KEEPALIVED_PRIORITY}}

provision-contest/ansible/roles/mysql_replication/tasks/main.yml

@@ -13,6 +13,14 @@
     regexp: '^bind-address\s*='
     replace: '#bind-address ='
 
+- name: Set the replication interface variable
+  set_fact:
+    replication_interface: "{{ REPLICATION_INTERFACE|default(ansible_default_ipv4.interface) }}"
+
+- name: Set the variable for the IP address of the replication interface
+  set_fact:
+    replication_interface_ip_address: "{{ vars['ansible_' + replication_interface]['ipv4']['address'] }}"
+
 - name: Add mysql config snippet for replication
   template:
     src: mysql.replication.cnf.j2

provision-contest/ansible/roles/mysql_replication/templates/mysql.replication.cnf.j2

@@ -8,4 +8,4 @@ log-bin = /var/log/mysql/mysql-bin.log
 binlog_do_db = domjudge
 
 # Host specific replication configuration
-server_id = {{ ansible_default_ipv4.address | ipaddr('int') }}
+server_id = {{ replication_interface_ip_address | ipaddr('int') }}

provision-contest/ansible/roles/mysql_replication/templates/setup-replication.sh.j2

@@ -181,7 +181,7 @@ service mysql start
 
 echo "Starting replication locally..."
 mysql -e "
-CHANGE MASTER TO MASTER_HOST='{{ SERVER_IP_PREFIX }}.${PRIMARY_SERVER_ID}',
+CHANGE MASTER TO MASTER_HOST='${PRIMARY}',
                  MASTER_USER='replication',
                  MASTER_PASSWORD='{{ REPLICATION_PASSWORD }}',
                  MASTER_LOG_FILE='${PRIMARY_BINLOG}',
@@ -217,7 +217,7 @@ OUR_LOGPOS=$(get_field 'Position' "$OUR_STATUS")
 if [ "$SETUP_MASTER_MASTER" -eq 1 ]; then
     echo "Starting replication on $PRIMARY..."
     ssh "$PRIMARY" "mysql -e '
-    CHANGE MASTER TO MASTER_HOST=\"{{ SERVER_IP_PREFIX }}.${OUR_SERVER_ID}\",
+    CHANGE MASTER TO MASTER_HOST=\"{{ replication_interface_ip_address }}\",
                     MASTER_USER=\"replication\",
                     MASTER_PASSWORD=\"{{ REPLICATION_PASSWORD }}\",
                     MASTER_LOG_FILE=\"${OUR_BINLOG}\",