ntptime Feature request: Would like to have the ntp server configurable

[hagenbuch]

The timeserver is hardcoded n ntptime.py:

host = "pool.ntp.org"

I would prefer to have this configurable, for several reasons:

• There might only be a local network where the node is
• DNS might not be available in some cases and under some error conditions
• One might as well use a numeric values
• Coordinated time might be more important than a real interconnection for embedded devices often involved with logging.

I'm sorry I have no idea (yet) where to start to create a full pull request..

[massimosala]

Hi Andreas

It isn't hard-coded.

It is weird they don't put the 'host' as a parameter of the function, but you can do this:

import ntptime
ntptime.host = "your choice"
ntptime.settime()