diff --git a/tools/python/xen/xend/XendDomain.py b/tools/python/xen/xend/XendDomain.py
index 618d932b9f..faccd8a967 100644
--- a/tools/python/xen/xend/XendDomain.py
+++ b/tools/python/xen/xend/XendDomain.py
@@ -1,4 +1,5 @@
 # Copyright (C) 2004 Mike Wray <mike.wray@hp.com>
+# Copyright (C) 2005 Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
 
 """Handler for domain operations.
  Nothing here is persistent (across reboots).
@@ -73,7 +74,6 @@ class XendDomain:
     def onVirq(self, event, val):
         """Event handler for virq.
         """
-        print 'onVirq>', val
         self.refresh(cleanup=True)
 
     def xen_domains(self):
diff --git a/tools/python/xen/xend/server/channel.py b/tools/python/xen/xend/server/channel.py
index f02c772ac6..e2b2043e66 100755
--- a/tools/python/xen/xend/server/channel.py
+++ b/tools/python/xen/xend/server/channel.py
@@ -37,7 +37,8 @@ def eventChannelClose(evtchn):
             pass
         
     if not evtchn: return
-    print 'eventChannelClose>', evtchn
+    if DEBUG:
+        print 'eventChannelClose>', evtchn
     evtchn_close(evtchn.get('dom1'), evtchn.get('port1'))
     evtchn_close(evtchn.get('dom2'), evtchn.get('port2'))
     
@@ -133,7 +134,7 @@ class ChannelFactory:
         self.virqHandler = virqHandler
 
     def virqReceived(self, virq):
-        if 1 or DEBUG:
+        if DEBUG:
             print 'virqReceived>', virq
         if not self.virqHandler: return
         self.runInThread(lambda virq=virq: self.virqHandler(virq))
diff --git a/tools/python/xen/xend/server/console.py b/tools/python/xen/xend/server/console.py
index 06d70d35c5..8706e97966 100755
--- a/tools/python/xen/xend/server/console.py
+++ b/tools/python/xen/xend/server/console.py
@@ -174,7 +174,6 @@ class ConsoleDev(Dev, protocol.ServerFactory):
     def destroy(self, change=False, reboot=False):
         """Close the console.
         """
-        print 'ConsoleDev>destroy>', self, reboot
         if reboot:
             return
         try:
@@ -357,7 +356,6 @@ class ConsoleController(DevController):
             self.rebootDevices()
 
     def destroyController(self, reboot=False):
-        print 'ConsoleController>destroyController>', self, reboot
         self.destroyed = True
         self.destroyDevices(reboot=reboot)
         self.rcvr.deregisterChannel()