Lines 27-33
Link Here
|
27 |
|
27 |
|
28 |
port="${url##*:}" |
28 |
port="${url##*:}" |
29 |
[ "$port" != "$url" ] || port="" |
29 |
[ "$port" != "$url" ] || port="" |
30 |
url="$(decode-url-component ${url%%:*})" |
30 |
url="${url%%:*}" |
31 |
|
31 |
|
32 |
write_string_param server "$url" |
32 |
write_string_param server "$url" |
33 |
write_string_param port "$port" |
33 |
write_string_param port "$port" |
Lines 36-42
Link Here
|
36 |
;; |
36 |
;; |
37 |
write) |
37 |
write) |
38 |
if [ -n "$in_server" ]; then |
38 |
if [ -n "$in_server" ]; then |
39 |
local url="$(encode-url-component "$in_server")" |
39 |
local url="$in_server" |
40 |
[ -z "$in_login" -o -z "$in_passwd" ] || |
40 |
[ -z "$in_login" -o -z "$in_passwd" ] || |
41 |
url="$(encode-url-component "$in_login"):$(encode-url-component "$in_passwd")@$url" |
41 |
url="$(encode-url-component "$in_login"):$(encode-url-component "$in_passwd")@$url" |
42 |
[ -z "$in_port" ] || |
42 |
[ -z "$in_port" ] || |