If default values from pool.ntp.org are going to be used, a "vendor" hostname for pool.ntp.org should be requested. See: http://www.pool.ntp.org/vendors.html
Also, there is a related bug where adding time servers manually though the GUI does not work: https://bugs.launchpad.net/ubuntu/+source/gnome-system-tools/+bug/84194 -- [time-admin] NTP servers should be selected without user interaction https://launchpad.net/bugs/44607 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
