util/Zeroconf.py
changeset 1752 d14ff9d7eb76
parent 1749 d73b64672238
child 1756 08e4394ff4fb
--- a/util/Zeroconf.py	Wed Aug 16 12:57:52 2017 +0300
+++ b/util/Zeroconf.py	Wed Aug 16 13:01:13 2017 +0300
@@ -103,9 +103,9 @@
 # Some DNS constants
 
 _MDNS_ADDR = '224.0.0.251'
-_MDNS_PORT = 5353;
-_DNS_PORT = 53;
-_DNS_TTL = 60 * 60;  # one hour default TTL
+_MDNS_PORT = 5353
+_DNS_PORT = 53
+_DNS_TTL = 60 * 60  # one hour default TTL
 
 _MAX_MSG_TYPICAL = 1460  # unused
 _MAX_MSG_ABSOLUTE = 8972