one step towards logs

[infrastructure.git] / scripts / dump-db-svn.sh

diff --git a/scripts/dump-db-svn.sh b/scripts/dump-db-svn.sh
index 67e900d..d3f43ee 100755 (executable)
--- a/scripts/dump-db-svn.sh
+++ b/scripts/dump-db-svn.sh
@@ -20,7 +20,7 @@ source $COMMANDDIR/functions.sh
 ###
 
 case $(hostname) in
-  *build*)
+  *build*|*kruder*)
     DEFAULTS="subversion" ;;
   *plc*|*private*)
     DEFAULTS="planetlab4" ;;
@@ -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
 }