Revision 2532
Added by sgarg over 18 years ago
| Catalog.java | ||
|---|---|---|
| 1159 | 1159 |
private String resolveLocalSystem(String systemId) {
|
| 1160 | 1160 |
String osname = System.getProperty("os.name");
|
| 1161 | 1161 |
boolean windows = (osname.indexOf("Windows") >= 0);
|
| 1162 |
Enumeration enum = catalogEntries.elements();
|
|
| 1163 |
while (enum.hasMoreElements()) {
|
|
| 1164 |
CatalogEntry e = (CatalogEntry) enum.nextElement();
|
|
| 1162 |
Enumeration catalogEnum = catalogEntries.elements();
|
|
| 1163 |
while (catalogEnum.hasMoreElements()) {
|
|
| 1164 |
CatalogEntry e = (CatalogEntry) catalogEnum.nextElement();
|
|
| 1165 | 1165 |
if (e.entryType() == CatalogEntry.SYSTEM |
| 1166 | 1166 |
&& (e.systemId().equals(systemId) |
| 1167 | 1167 |
|| (windows |
Also available in: Unified diff
renaming enum to catalogEnum to prevent compilation errors for jdk1.5