Ticket #25128: helpful-dns.diff

src/port1.0/portfetch.tcl

@@ -492 +492 @@
                         file delete -force "${distpath}/${distfile}.TMP"
 
                         # Continue on to try the next mirror, if any
+                    } elseif {".html" != [file extension ${distfile}] &&
+                        "text/html" == [exec [findBinary file $portutil::autoconf::file_path] ${distpath}/${distfile} --brief --mime-type]} {
+
+                        # Probably a helpful DNS server sent us to its search results page
+                        # instead of admitting that the server we asked for doesn't exist.
+                        ui_debug [msgcat::mc "Fetching failed because we received an HTML page"]
+                        file delete -force "${distpath}/${distfile}"
+
+                        # Continue on to try the next mirror, if any
                     } else {
 
                         # Successful fetch