getChildResources() and port number

[Roar Skullestad]

I am using the slide client API to read out information from slide, but  
get problems when trying to go beyond level one.

When I run the following simple code:
        WebdavResource resource;
        < resource initialized >
        String host = resource.getHost();
        String uri = resource.getHttpURL().getURI();
        WebdavResource[] resources =  
resource.getChildResources().listResources();

        for (int i=0; i<resources.length; i++){
            String host2 = resources[i].getHost();
            String uri2 = resources[i].getHttpURL().getURI();
        }
I get the these (correct) values for host and uri:
"localhost"
"http://localhost:8082/slide/files";
But in the for loop, after one iteration, host2 and uri2 has the following  
(wrong) values:
"localhost8082"
"http://localhost8082:8082/slide/files/Readme.txt";

It seems as the port is added to the host name...
If I do resources[i].getChildResources() inside the for loop (on a  
collection resource), I get an java.net.UnknownHostException.
Is this a bug, or just me using the API wrong way?

What is the difference between  
resource.getChildResources().listResources() and  
resource.listWebdavResources()?
I get the same result for both.

Hope someone can enlighten me on this one...
Roar Skullestad
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]