1.1 --- a/tools/python/xen/xend/server/channel.py	Wed Jul 27 17:03:00 2005 +0000
     1.2 +++ b/tools/python/xen/xend/server/channel.py	Wed Jul 27 17:04:47 2005 +0000
     1.3 @@ -42,16 +42,16 @@ class EventChannel(dict):
     1.4          @param port2
     1.5          """
     1.6          try:
     1.7 -            dom1  = int(db['dom1'])
     1.8 +            dom1  = int(db['dom1'].getData())
     1.9          except: pass
    1.10          try:
    1.11 -            dom2  = int(db['dom2'])
    1.12 +            dom2  = int(db['dom2'].getData())
    1.13          except: pass
    1.14          try:
    1.15 -            port1 = int(db['port1'])
    1.16 +            port1 = int(db['port1'].getData())
    1.17          except: pass
    1.18          try:
    1.19 -            port2 = int(db['port2'])
    1.20 +            port2 = int(db['port2'].getData())
    1.21          except: pass
    1.22          evtchn = cls.interdomain(dom1, dom2, port1=port1, port2=port2)
    1.23          return evtchn