--- /usr/sbin/ntpdate-debian 2016-06-07 16:45:39.000000000 -0700
+++ ntpdate-debian 2016-09-27 15:18:07.000000000 -0700
@@ -14,7 +14,7 @@
fi
done
if [ -n "$file" ]; then
- NTPSERVERS=$(sed -rne
's/^(servers?|peer)[[:space:]]+(-[46][[:space:]]+)?([-_.:[:alnum:]]+).*$/\3/p'
"$file" | grep -v '^127\.127\.') || [ $? -le 1 ]
+ NTPSERVERS=$(sed -rne
's/^(servers?|peer|pool)[[:space:]]+(-[46][[:space:]]+)?([-_.:[:alnum:]]+).*$/\3/p'
"$file" | grep -v '^127\.127\.') || [ $? -le 1 ]
fi
elif [ -r /var/lib/ntpdate/default.dhcp ]; then
. /var/lib/ntpdate/default.dhcp
