1.1 --- a/tools/python/xen/xend/XendMonitor.py	Wed Jan 24 18:30:07 2007 +0000
     1.2 +++ b/tools/python/xen/xend/XendMonitor.py	Thu Jan 25 10:29:33 2007 +0000
     1.3 @@ -220,11 +220,11 @@ class XendMonitor(threading.Thread):
     1.4          while True:
     1.5              self.lock.acquire()
     1.6              try:
     1.7 -                active_domids = set()
     1.8 +                active_domids = []
     1.9                  # Calculate utilisation for VCPUs
    1.10                  
    1.11                  for domid, cputimes in self._get_cpu_stats().items():
    1.12 -                    active_domids.add(domid)
    1.13 +                    active_domids.append(domid)
    1.14                      if domid not in self._domain_vcpus:
    1.15                          # if not initialised, save current stats
    1.16                          # and skip utilisation calculation