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).

note

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!