equal
deleted
inserted
replaced
67 self.service_name, |
67 self.service_name, |
68 self.ip_32b, |
68 self.ip_32b, |
69 self.port, |
69 self.port, |
70 properties = self.serviceproperties)) |
70 properties = self.serviceproperties)) |
71 self.server.close() |
71 self.server.close() |
72 del self.server |
72 self.server = None |
73 |
73 |
74 def gethostaddr(self, dst = '224.0.1.41'): |
74 def gethostaddr(self, dst = '224.0.1.41'): |
75 s = socket.socket(socket.AF_INET, socket.SOCK_DGRAM) |
75 s = socket.socket(socket.AF_INET, socket.SOCK_DGRAM) |
76 try: |
76 try: |
77 s.connect((dst, 7)) |
77 s.connect((dst, 7)) |