Add option for reloading an existing dump

sql/dj_setup_database.in

@@ -391,6 +391,38 @@ snapshot-dump)
 	esac
 	;;
 
+snapshot-load)
+	choice=""
+	if [ -z "$DUMPNAME" ]; then
+		set -- $(ls $DATABASEDUMPDIR)
+		ind=0
+		while true; do
+			read -p "Which database should be loaded? " db
+			ind=0
+			for i in $@; do
+				if [ "$ind" = "$db" ]; then
+					choice="$i"
+					break
+				fi
+				: $((ind+=1))
+			done
+			if [ -n "$choice" ]; then
+				break
+			fi
+		done
+	else
+		choice="${DUMPNAME}.tar.gz"
+	fi
+	FILE="$DATABASEDUMPDIR/${choice}"
+
+	if [ ! -f "${FILE}" ]
+	then
+		echo "Error. File ${FILE} not found"
+		exit 1
+	fi
+
+	pv "${FILE}" | gunzip | mysql domjudge
+
 *)
 	echo "Error: Unknown subcommand '$1'"
 	usage