urls: allow + in protocols, e.g. git+https://
parent
5c0d8c7e4f
commit
d3a749d17a
|
@ -275,3 +275,6 @@ urls [
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
[ URL" https://google.com/" url-addr ] unit-test
|
[ URL" https://google.com/" url-addr ] unit-test
|
||||||
|
|
||||||
|
{ "git+https" }
|
||||||
|
[ URL" git+https://google.com/git/factor.git" >url protocol>> ] unit-test
|
||||||
|
|
|
@ -43,7 +43,7 @@ M: url >url ;
|
||||||
|
|
||||||
EBNF: parse-url
|
EBNF: parse-url
|
||||||
|
|
||||||
protocol = [a-z]+ => [[ url-decode ]]
|
protocol = [a-z+]+ => [[ url-decode ]]
|
||||||
username = [^/:@#?]+ => [[ url-decode ]]
|
username = [^/:@#?]+ => [[ url-decode ]]
|
||||||
password = [^/:@#?]+ => [[ url-decode ]]
|
password = [^/:@#?]+ => [[ url-decode ]]
|
||||||
pathname = [^#?]+ => [[ url-decode ]]
|
pathname = [^#?]+ => [[ url-decode ]]
|
||||||
|
|
Loading…
Reference in New Issue