How do I configure Deephaven Community Core to use another port?
If using Deephaven run from Docker, set the first port to one other than 10000 (e.g. 12345:10000).
These FAQ pages contain answers to questions about Deephaven Community Core that our users have asked in our Community Slack. If you have a question that is not in our documentation, join our Community and we'll be happy to help!