- new wget doesn't recognize --inet option

Changed files:
    pldnotify.awk -> 1.22

diff --git a/pldnotify.awk b/pldnotify.awk
index 7daae120762c0b90d6c2bd93db3408a42ae6bd88..225054634b3bc03193d1b764c393041a3b131e43 100644 (file)
--- a/pldnotify.awk
+++ b/pldnotify.awk
@@ -69,7 +69,7 @@ function get_links(url,       errno,link,oneline,retval,odp,tmpfile) {
        close("mktemp /tmp/XXXXXX")
        
        if (DEBUG) print "Retrieving: " url
-       errno=system("wget --inet -O - \"" url "\" -t 1 -T 300 > " tmpfile " 2>/dev/null" )
+       errno=system("wget -O - \"" url "\" -t 1 -T 300 > " tmpfile " 2>/dev/null" )
        
        if (errno==0) {
                while (getline oneline < tmpfile)