runtime/ServicePublisher.py
changeset 1742 92932cd370a4
parent 1740 b789b695b5c6
child 1744 69dfdb26f600
--- a/runtime/ServicePublisher.py	Tue Aug 15 16:01:18 2017 +0300
+++ b/runtime/ServicePublisher.py	Tue Aug 15 16:48:49 2017 +0300
@@ -67,7 +67,7 @@
                                   self.ip_32b,
                                   self.port,
                                   properties = self.serviceproperties))
-        self.retrytimer=None
+        self.retrytimer = None
 
     def UnRegisterService(self):
         if self.retrytimer is not None: