CLI should have a -s --server-root option to manipulate user credentials ------------------------------------------------------------------------ Key: ISPN-12377 URL: https://issues.redhat.com/browse/ISPN-12377 Project: Infinispan Issue Type: Enhancement Components: CLI Reporter: Wolf-Dieter Fink Assignee: Tristan Tarrant Priority: Minor If the server-root directory for a server is changed by "server.sh -s" it is not possible to use the cli command to manipulate the related properties as the changes are written to the default server/conf directory.