blob: 1eb23baf58c8b14ecb26c9105ee972e9871540af (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
/*******************************************************************************
* Copyright (c) 2007, 2009 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
* compeople AG (Stefan Liebig) - Fix for bug 121201 - Poor performance behind proxy/firewall
*******************************************************************************/
package org.eclipse.equinox.internal.p2.core.helpers;
import java.io.File;
import java.net.URI;
import java.net.URL;
/**
* A utility class for manipulating URLs. This class works around some of the
* broken behavior of the java.net.URL class.
*/
public class URLUtil {
/**
* Returns the URL as a local file, or <code>null</code> if the given
* URL does not represent a local file.
* @param url The url to return the file for
* @return The local file corresponding to the given url, or <code>null</code>
*/
public static File toFile(URL url) {
if (!"file".equalsIgnoreCase(url.getProtocol())) //$NON-NLS-1$
return null;
//assume all illegal characters have been properly encoded, so use URI class to unencode
String externalForm = url.toExternalForm();
String pathString = externalForm.substring(5);
try {
if (pathString.indexOf('/') == 0) {
if (pathString.indexOf("//") == 0) //$NON-NLS-1$
externalForm = "file:" + ensureUNCPath(pathString); //$NON-NLS-1$
return new File(new URI(externalForm));
}
if (pathString.indexOf(':') == 1)
return new File(new URI("file:/" + pathString)); //$NON-NLS-1$
return new File(new URI(pathString).getSchemeSpecificPart());
} catch (Exception e) {
//URL contains unencoded characters
return new File(pathString);
}
}
/**
* Ensures the given path string starts with exactly four leading slashes.
*/
private static String ensureUNCPath(String path) {
int len = path.length();
StringBuffer result = new StringBuffer(len);
for (int i = 0; i < 4; i++) {
// if we have hit the first non-slash character, add another leading slash
if (i >= len || result.length() > 0 || path.charAt(i) != '/')
result.append('/');
}
result.append(path);
return result.toString();
}
}
|
