From 2d5f6d8e25ce41a49ae7b37d64cad40a5a25eb43 Mon Sep 17 00:00:00 2001
From: thierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Date: Fri, 1 Jun 2007 09:31:17 +0000
Subject: [PATCH] sets correct database name for kruder (subversion)

---
 scripts/dump-db-svn.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/dump-db-svn.sh b/scripts/dump-db-svn.sh
index 2c77ff0..d3f43ee 100755
--- 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" ;;
-- 
2.47.0