Update sql/dj_setup_database.in

Co-authored-by: Jaap Eldering <[email protected]>
DOMjudge · Oct 21, 2023 · fab3c1f · fab3c1f
1 parent 167a99c
commit fab3c1f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/sql/dj_setup_database.in b/sql/dj_setup_database.in
@@ -419,8 +419,7 @@ load)
 	fi
 	FILE="$DATABASEDUMPDIR/${choice}"
 
-	if [ ! -f "${FILE}" ]
-	then
+	if [ ! -f "${FILE}" ]; then
 		echo "Error: file ${FILE} not found."
 		exit 1
 	fi