use planetlab5 as the database name

diff --git a/default_config.xml b/default_config.xml
index 1e44b11..ddf870d 100644 (file)
--- 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>