Changeset 13554 in josm for trunk

Timestamp:

2018-03-24T00:03:37+01:00 (7 years ago)

Author:

stoecker

Message:

add useless port check

File:

• trunk/scripts/SyncEditorLayerIndex.groovy (modified) (1 diff)

trunk/scripts/SyncEditorLayerIndex.groovy

@@ -779 +779 @@
                 else {
                     def domain = m[0][1].replaceAll("\\{switch:.*\\}","x")
+                    def port = m[0][2]
                     if (!(domain =~ /^\d+\.\d+\.\d+\.\d+$/) && !dv.isValid(domain))
                         myprintln "* Strange Domain '${domain}': ${getDescription(j)}"
+                    else if (port != null && (port == ":80" || port == ":443")) {
+                        myprintln "* Useless port '${port}': ${getDescription(j)}"
+                    }
                 }
             }