Fixed bug with number in localhost name

diff --git a/bin/nameserver.py b/bin/nameserver.py
index 1db35862ddac10e993b68001254bfe3e320de9f3..e6d9d04978057b557f88bd5d4fecec69cc5c9d2b 100755 (executable)
--- a/bin/nameserver.py
+++ b/bin/nameserver.py
@@ -54,7 +54,11 @@ class NamingServer(Server):
        ss=re.findall("NameService=corbaname::" + hname + ":\d+", f.read())
        print "ss = ", ss
        f.close()
-       aPort=re.findall("\d+", ss[0])[0]
+        sl=ss[0]
+        ll = sl.split(':')
+        aPort = ll[-1]
+        #aPort=(ss.join().split(':'))[2];
+       #aPort=re.findall("\d+", ss[0])[0]
        
        #aSedCommand="s/.*NameService=corbaname::" + hname + ":\([[:digit:]]*\)/\1/"
        #print "sed command = ", aSedCommand