Bug#772990: [PATCH] ntpdate-debian should recognize the "pool" directive

[Nye Liu]

--- /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