Fix dump

DOMjudge · Oct 27, 2023 · 524d16a · 524d16a
1 parent 6637cd1
commit 524d16a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/provision-contest/ansible/roles/mysql_server/files/dump-db b/provision-contest/ansible/roles/mysql_server/files/dump-db
@@ -15,7 +15,7 @@ if [ -f "/home/domjudge/db-dumps/${1}.sql.gz" ]; then
 	while true; do
 		read -p "Overwrite existing database dump (y/N)? " yn
 			case $yn in
-				[Yy]* ) create_database_dump $1; exit 0;
+				[Yy]* ) create_database_dump $1; exit 0;;
 				''|[Nn]* ) break;;
 			esac
 	done