From 407c769d7bebf7a92e2ffbf5c933708b560d4e5b Mon Sep 17 00:00:00 2001
From: Phil Crump <phil@philcrump.co.uk>
Date: Wed, 29 Aug 2018 22:25:07 +0100
Subject: [PATCH] Add onsite ntp server, ntp vendor pool as NTP hosts.

---
 lib/ntp.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/ntp.py b/lib/ntp.py
index 5f63b3d..1c0fbdf 100644
--- a/lib/ntp.py
+++ b/lib/ntp.py
@@ -12,7 +12,7 @@ import machine
 # (date(2000, 1, 1) - date(1900, 1, 1)).days * 24*60*60
 NTP_DELTA = 3155673600
 # With Mk3 Firmware an IP address string works 5%, hangs at socket.socket(..) 95%, could be a bug in 2016 upython?
-NTP_HOSTS = ["0.pool.ntp.org", "1.pool.ntp.org", "2.pool.ntp.org"]
+NTP_HOSTS = ["ntp-gps.emf.camp", "0.emfbadge.pool.ntp.org", "1.emfbadge.pool.ntp.org", "2.emfbadge.pool.ntp.org", "3.emfbadge.pool.ntp.org"]
 NTP_PORT = 123
 
 def get_NTP_time():