Hey.
This is originally from #8009. I split it out into a separate issue so that we get more handleable chunks.
As a short summary, REST doesn't seem to provide the information on which host a domain is executed.
While that can be retrieved via get hostname from the admin interface[0], it would be nice to have a /domains/ resource which gives a list of all domains with data (like their host).
Other interesting data (for the future) might include the used Java version or Java options, so please make it extensible.
Also, I'd strongly prefer a resource where I get the data for all domains in one go, so that one avoids issues like in #8126, which doesn’t exclude to add further resources where one can get it per domain.
Thanks,
Chris.
[0] Retrieving it via SSH implies quite some other issues, see #8009 for details.
Hey.
This is originally from #8009. I split it out into a separate issue so that we get more handleable chunks.
As a short summary, REST doesn't seem to provide the information on which host a domain is executed.
While that can be retrieved via
get hostnamefrom the admin interface[0], it would be nice to have a/domains/resource which gives a list of all domains with data (like their host).Other interesting data (for the future) might include the used Java version or Java options, so please make it extensible.
Also, I'd strongly prefer a resource where I get the data for all domains in one go, so that one avoids issues like in #8126, which doesn’t exclude to add further resources where one can get it per domain.
Thanks,
Chris.
[0] Retrieving it via SSH implies quite some other issues, see #8009 for details.