From 7248b33de401e5426ba73f4fc68faedda1e829ae Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 22 May 2008 15:36:38 +0000
Subject: [PATCH] use planetlab5 as the database name

---
 default_config.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default_config.xml b/default_config.xml
index 1e44b11..ddf870d 100644
--- a/default_config.xml
+++ b/default_config.xml
@@ -240,7 +240,7 @@ $Id$
 
 	<variable id="name" type="string">
 	  <name>Database Name</name>
-	  <value>planetlab4</value>
+	  <value>planetlab5</value>
 	  <description>The name of the database to access.</description>
 	</variable>
 
-- 
2.47.0