Make sure the host header is set to www.postgresql.org

diff --git a/tools/ftp/spider_ftp.py b/tools/ftp/spider_ftp.py
index 89c1e3bba7a584608cb024513c97c5c1292cb756..a1a1f05630622ecd51161c366926170a71b22a64 100755 (executable)
--- a/tools/ftp/spider_ftp.py
+++ b/tools/ftp/spider_ftp.py
@@ -70,6 +70,7 @@ if sys.argv[2].startswith("http://") or sys.argv[2].startswith("https://"):
        o = urllib2.build_opener(urllib2.HTTPHandler)
        r = urllib2.Request(sys.argv[2], data=pickle.dumps(allnodes))
        r.add_header('Content-type', 'application/octet-stream')
+       r.add_header('Host', 'www.postgresql.org')
        r.get_method = lambda: 'PUT'
        u = o.open(r)
        x = u.read()