dntpd.conf change

[Matthew Dillon]

:I noticed that dntpd.conf has a default setting of 'pool.ntp.org' 3 times.
: The "How do I setup to use the pool" page at pool.ntp.org
:(http://www.pool.ntp.org/use.html) says to use:
:
:server 0.pool.ntp.org
:server 1.pool.ntp.org
:server 2.pool.ntp.org
:
:Any objection to my changing that?

    Sure, go ahead.  dntpd will automatically filter out any
    duplicate IP addresses anyway (and retry the DNS lookup to get
    a distinct IP address in such cases), so I don't think it matters
    much.

					-Matt
					Matthew Dillon 
					<dillon at backplane.com>