port numbers are integers
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 5 Jan 2010 13:53:27 +0000 (13:53 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 5 Jan 2010 13:53:27 +0000 (13:53 +0000)
config/default_config.xml

index 728fa88..0b2064d 100644 (file)
@@ -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>