--- a/runtime/ServicePublisher.py	Wed May 18 14:46:27 2011 +0200
+++ b/runtime/ServicePublisher.py	Tue May 24 00:36:08 2011 +0200
@@ -69,7 +69,7 @@
                                                            self.port, 
                                                            properties = self.serviceproperties))
         self.server.close()
-        del self.server
+        self.server = None
     
     def gethostaddr(self, dst = '224.0.1.41'):
         s = socket.socket(socket.AF_INET, socket.SOCK_DGRAM)