Change ftp://ftp.debian to http://ftp.debian as ftp is turned off for some time.

diff --git a/pldnotify.awk b/pldnotify.awk
index 957f5ac3a5fd7bfaa0a0f24d9447c561fc2b601a..0bdfc7522a13eb6e2e8d61523b327262c6cd48a5 100755 (executable)
--- a/pldnotify.awk
+++ b/pldnotify.awk
@@ -335,6 +335,9 @@ function get_links(url,filename,   errno,link,oneline,retval,odp,wholeodp,lowero
                gsub("/packages/.*/", "/pypi/" project, url)
                gsub("files\.pythonhosted\.org", "pypi.python.org", url)
                d("files.pythonhosted.org url, mangled url to: " url)
+       } else if (url ~/^ftp:\/\/ftp.debian.org\//) {
+               gsub("ftp://ftp.debian.org/", "http://ftp.debian.org/", url)
+               d("ftp://ftp.debian.org url, mangled url to: " url)
        }
 
        d("Retrieving: " url)