Treat dollar signs as URI chars (fixing #3859).

This commit is contained in:
Millesimus 2021-09-04 16:01:23 +02:00 committed by Daniel Gultsch
parent 8d45cc5827
commit 4040d5f647

View file

@ -306,7 +306,7 @@ public class Patterns {
private static final String PORT_NUMBER = "\\:\\d{1,5}"; private static final String PORT_NUMBER = "\\:\\d{1,5}";
private static final String PATH_AND_QUERY_CHARS_WITHOUT_SLASH = private static final String PATH_AND_QUERY_CHARS_WITHOUT_SLASH =
"\\;\\?\\:\\@\\&\\=\\#\\~" // plus optional query params "\\;\\?\\:\\@\\&\\=\\#\\~" // plus optional query params
+ "\\-\\.\\+\\!\\*\\'\\(\\)\\,\\_"; + "\\-\\.\\+\\!\\*\\'\\(\\)\\,\\_\\$";
private static final String PATH_AND_QUERY = "\\/(?:(?:[" + LABEL_CHAR private static final String PATH_AND_QUERY = "\\/(?:(?:[" + LABEL_CHAR
+ PATH_AND_QUERY_CHARS_WITHOUT_SLASH + PATH_AND_QUERY_CHARS_WITHOUT_SLASH
+ "]+[^" + PATH_AND_QUERY_CHARS_WITHOUT_SLASH + "\\s]" // path and query chars must not be trailing + "]+[^" + PATH_AND_QUERY_CHARS_WITHOUT_SLASH + "\\s]" // path and query chars must not be trailing