oops, db dump script was for mysql

diff --git a/scripts/dump-db-svn.sh b/scripts/dump-db-svn.sh
index 67e900d..2c77ff0 100755 (executable)
--- a/scripts/dump-db-svn.sh
+++ b/scripts/dump-db-svn.sh
@@ -52,7 +52,7 @@ function dumpdb () {
     output=$DATADIR/$database-$DATE.sql
     latest=$database-latest.sql
     echo "Dumping $database into $output (drop-mode)"
-    mysqldump --add-drop-table --user=$DB_USER $database > $output
+    pg_dump --user=$DB_USER $database > $output
     manage_link $output $latest
 }