Use our standard script to create database

Author: eldering

.github/jobs/baseinstall.sh

@@ -54,12 +54,10 @@ password=mysql_root_password
 EOF
 cat ~/.my.cnf
 
-mysql_log "CREATE DATABASE IF NOT EXISTS \`domjudge\` DEFAULT CHARACTER SET utf8mb4 COLLATE utf8mb4_unicode_ci;"
-mysql_log "CREATE USER IF NOT EXISTS \`domjudge\`@'%' IDENTIFIED BY 'domjudge';"
-mysql_log "GRANT SELECT, INSERT, UPDATE, DELETE ON \`domjudge\`.* TO 'domjudge'@'%';"
-mysql_log "FLUSH PRIVILEGES;"
 echo 'unused:sqlserver:domjudge:domjudge:domjudge_db-pw+% #$*)@(!/;,.:3306' > /opt/domjudge/domserver/etc/dbpasswords.secret
 
+/opt/domjudge/domserver/bin/dj_setup_database create-db-users
+
 # Show some MySQL debugging
 mysql_log "show databases"
 mysql_log "SELECT CURRENT_USER();"