Strip all three first digits of IP address for server ID, regardless of value.

Author: nickygerritsen

icpc-wf/ansible/files/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 | regex_replace('^10\.3\.3\.', '') }}
+server_id = {{ ansible_default_ipv4.address | regex_replace('^10\.\d+\.\d+\.', '') }}