141 |
// the beginning |
// the beginning |
142 |
end = url_string.length() - end; |
end = url_string.length() - end; |
143 |
|
|
144 |
|
if(url_string.startsWith("file:")) |
145 |
|
{ |
146 |
|
String file; |
147 |
|
url_string = url_string.substring(5); |
148 |
|
if(url_string.startsWith("//")) |
149 |
|
{ |
150 |
|
file = url_string.substring(2); |
151 |
|
} |
152 |
|
else |
153 |
|
{ |
154 |
|
file = url_string; |
155 |
|
} |
156 |
|
setURL(url, url.getProtocol(),null,0, file, null); |
157 |
|
return; |
158 |
|
} |
159 |
|
|
160 |
// Skip remains of protocol |
// Skip remains of protocol |
161 |
url_string = url_string.substring(start); |
url_string = url_string.substring(start); |
162 |
if (!url_string.startsWith("//")) |
if (!url_string.startsWith("//")) |