From 10ac46c348330c504e737962c397637184b031a2 Mon Sep 17 00:00:00 2001
From: Anil-Kumar Vengalil <Anil-Kumar.Vengalil@sophia.inria.fr>
Date: Wed, 13 Jan 2010 09:59:02 +0000
Subject: [PATCH] default port for SM is 12347

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

diff --git a/config/default_config.xml b/config/default_config.xml
index 238c7102..02f48e3a 100644
--- a/config/default_config.xml
+++ b/config/default_config.xml
@@ -153,7 +153,7 @@ $URL$
 
 	<variable id="port" type="int">
 	  <name>Port number</name>
-	  <value>12346</value>
+	  <value>12347</value>
 	  <description>The port where the slice manager is to be found.</description>
 	</variable>
       </variablelist>
-- 
2.43.0