]
Tristan Tarrant commented on ISPN-12377:
----------------------------------------
The `user` CLI command does have a `--server-root=` option
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.