| changeset 25808 | e113d0a0fde0 |
| parent 24685 | 215fa91e1b4c |
| 25807:6c325960c9ee | 25808:e113d0a0fde0 |
|---|---|
166 } else { |
166 } else { |
167 start = url.length(); // rest of URL |
167 start = url.length(); // rest of URL |
168 } |
168 } |
169 } |
169 } |
170 |
170 |
171 // else 0 or 1 iniitial slashes; start is unchanged |
171 // else 0 or 1 initial slashes; start is unchanged |
172 return url.substring(0, start); |
172 return url.substring(0, start); |
173 } |
173 } |
174 |
174 |
175 /** |
175 /** |
176 * Determines whether two URLs are the same. |
176 * Determines whether two URLs are the same. |