Thanks Jacques. On Sat, Dec 30, 2017 at 8:06 PM, Jacques Le Roux < [email protected]> wrote:
> Le 29/12/2017 à 13:12, [email protected] a écrit : > >> What do you mean by "8443 port is missing". As per documentation, I see >> 8443 being used for WebTools and CatalogManager. >> > Another scattered and deprecated documentation (the more you have the more > it happens...). I'll fix that... > > Jacques > >
