Just return the literal values provided by the plc_config.xml file. This
[nodeconfig.git] / ntp / ntp.conf.polito.it
1 server time.polito.it
2 server clock.redhat.com
3 server time.apple.com
4 server pool.ntp.org