ENH: make_db now can insert database dumps.

make_db

@@ -59,6 +59,12 @@ Call 'make drop-$DATABASE_NAME' to delete that database or reconfigure with
 	  sed "s/db_2_0/$DATABASE_NAME/g" "$INSTALL_SQL_FILE" | $SQL
 }
 
+# Inserts the dump (arg 1) into the database
+function restore_db() {
+    SQL_FILE="$1"
+    $SQL -D "$DATABASE_NAME" < "$SQL_FILE"
+}
+
 function test-connection() {
   	$SQL -e "select 0;"
 }
@@ -135,9 +141,10 @@ SQL="$MYSQL_CMD $MYSQL_CONNECTION"
 
 case $1 in
   "drop") drop $2 ;;
-  "grant") grant $2;;
+  "grant") grant $2 ;;
   "test-connection") test-connection ;;
   "install_db") install_db ;;
+  "restore_db") restore_db $2 ;;
   # "prep_sql") prepare_sql ;;
   *) echo "Unknown action: $1"
 esac