RFR: 8263636: Add --disableregistry option to jhsdb debugd [v3]

Tue Apr 6 00:59:38 UTC 2021

On Mon, 5 Apr 2021 20:57:34 GMT, Chris Plummer <cjplummer at openjdk.org> wrote:

> On the other hand, maybe you could go with just the id at debugserver:1234 example and leave the other 3 off. The syntax does clearly show the id and port are optional.

Agree, I left `id at debugserver:1234` only in new commit.

-------------

PR: https://git.openjdk.java.net/jdk/pull/3233