407 |
|
|
408 |
serviceName = serviceName.toUpperCase()+"."; |
serviceName = serviceName.toUpperCase()+"."; |
409 |
Provider[] providers = getProviders(); |
Provider[] providers = getProviders(); |
410 |
|
int ndx; |
411 |
for (int i = 0; i < providers.length; i++) |
for (int i = 0; i < providers.length; i++) |
412 |
for (Enumeration e = providers[i].propertyNames(); e.hasMoreElements(); ) |
for (Enumeration e = providers[i].propertyNames(); e.hasMoreElements(); ) |
413 |
{ |
{ |
414 |
String service = ((String) e.nextElement()).trim(); |
String service = ((String) e.nextElement()).trim(); |
415 |
if (service.toUpperCase().startsWith(serviceName)) |
if (service.toUpperCase().startsWith(serviceName)) |
416 |
result.add(service.substring(serviceName.length())); |
{ |
417 |
|
service = service.substring(serviceName.length()).trim(); |
418 |
|
ndx = service.indexOf(' '); // get rid of attributes |
419 |
|
if (ndx != -1) |
420 |
|
service = service.substring(0, ndx); |
421 |
|
result.add(service); |
422 |
|
} |
423 |
} |
} |
424 |
return Collections.unmodifiableSet(result); |
return Collections.unmodifiableSet(result); |
425 |
} |
} |