From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 5 Jan 2010 13:53:27 +0000 (+0000)
Subject: port numbers are integers
X-Git-Tag: sfa-0.9-7~7
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=6af57054f5a83b76e4008b81d559dc0abebd0717;p=sfa.git

port numbers are integers
---

diff --git a/config/default_config.xml b/config/default_config.xml
index 728fa884..0b2064d8 100644
--- a/config/default_config.xml
+++ b/config/default_config.xml
@@ -174,7 +174,7 @@ $URL$
 	  <description>The host where the PLC database can be reached.</description>
 	</variable>
 
-	<variable id="db_port" type="string">
+	<variable id="db_port" type="int">
 	  <name>Database port</name>
 	  <value>5432</value>
 	  <description>The port where the PLC database can be reached.</description>